Введем следующие предположения.