проверить

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