
Доказательство. Рассмотрим следующие леммы.
Лемма 1. Крокодил шире, чем длиннее.
Доказательство. Рассмотрим следующие утверждения.
Лемма 2. Крокодил длиннее, чем шире. Доказывается непосредственным измерением.
Из лемм 1 и 2 вытекает квадратность крокодила. QEDДоказательство. Рассмотрим следующие утверждения.
Утверждение 1. Крокодил шире, чем зеленее. Действительно, крокодил широкий и сверху и снизу, а зелёный только сверху.
Утверждение 2. Крокодил зеленее, чем длиннее. Действительно, крокодил зелёный в обе стороны, а длинный только в одну.
Лемма 1 следует из утверждений 1 и 2 по транзитивности.Лемма 2. Крокодил длиннее, чем шире. Доказывается непосредственным измерением.
То ли мне это рассказали в нашем классе, то ли наоборот. Может, кто вспомнит? Заранее благодарен.