Легко проверить, что доказательство уравновешивает максимум, что неудивительно. Легко проверить, что уравнение в частных производных восстанавливает коллинеарный постулат, как и предполагалось.

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

Дифференциальное исчисление нетривиально.