Квадратура крокодила

[cema]

Вот мне на днях рассказали, и я вспомнил матшкольные ранние 1980-е годы.

Теорема. Крокодил квадратный.
Доказательство. Рассмотрим следующие леммы.

Лемма 1. Крокодил шире, чем длиннее.
Доказательство. Рассмотрим следующие утверждения.

Утверждение 1. Крокодил шире, чем зеленее. Действительно, крокодил широкий и сверху и снизу, а зелёный только сверху.

Утверждение 2. Крокодил зеленее, чем длиннее. Действительно, крокодил зелёный в обе стороны, а длинный только в одну.

Лемма 1 следует из утверждений 1 и 2 по транзитивности.
Лемма 2. Крокодил длиннее, чем шире. Доказывается непосредственным измерением.

Из лемм 1 и 2 вытекает квадратность крокодила. QED

То ли мне это рассказали в нашем классе, то ли наоборот. Может, кто вспомнит? Заранее благодарен.