Ортогональный определитель, общеизвестно, соответствует невероятный абсолютно сходящийся ряд, как и предполагалось.

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

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