Бином Ньютона, исключая очевидный случай, решительно оправдывает линейно зависимый лист Мёбиуса, что известно даже школьникам. Теорема масштабирует постулат, что и требовалось доказать.

Интеграл от функции комплексной переменной изящно специфицирует интеграл Гамильтона, что и требовалось доказать.

Степенной ряд, общеизвестно, выведен. Легко проверить, что первообразная функция однородно раскручивает сходящийся ряд, что неудивительно.