Старенькая теоремка

[Jos]

Теорема.

КРОКОДИЛ БОЛЕЕ ДЛИHHЫЙ, ЧЕМ ШИРОКИЙ

Доказательство: Разобьем теорему на две леммы Лемма 1. Крокодил более длинный, чем зеленый. Доказательство. Крокодил длинный и сверху и снизу, а зеленый только сверху Лемма 2. Крокодил более зеленый, чем широкий. Доказательство. Крокодил зеленый и в длину и в ширину, а широкий только в ширину. => Крокодил более длинный, чем широкий Однако, аналогично доказывается обратная теорема. Теорема 2. КРОКОДИЛ БОЛЕЕ ШИРОКИЙ, ЧЕМ ДЛИHHЫЙ Доказательство: Лемма 1. Крокодил более широкий, чем зеленый. Доказательство. Крокодил широкий и сверху и снизу, а зеленый только сверху. Лемма 2. Крокодил более зеленый, чем длинный. Доказательство. Крокодил зеленый и в длинну и в ширину, а длинный только в длинну. =>Крокодил более широкий, чем длинный. СЛЕДСТВИЕ: Из этих двух теорем может сложиться впечатление, что крокодил квадратный, однако это неверно, так как все неравенства строгие. ВЫВОД: Крокодил не существует