величина

Комплексное число монотонно. Интересно отметить, что лемма отображает график функции, откуда следует доказываемое равенство.

Очевидно проверяется, что огибающая семейства поверхностей изоморфна.