Теорема №1: крокодил более длинный, чем широкий.
Доказательство: разобьем теорему на две леммы:
Лемма №1: крокодил более длинный, чем зеленый.
Доказательство: крокодил длинный и сверху и снизу, а зеленый только сверху.
Лемма №2: крокодил более зеленый, чем широкий.
Доказательство: крокодил зеленый и в длину и в ширину, а широкий только в ширину.
Следовательно, крокодил более длинный, чем широкий.
Однако, аналогично доказывается обратная теорема.
Теорема №2: крокодил более широкий, чем длинный
Доказательство: Лемма №1: крокодил более широкий, чем зеленый.
Доказательство: крокодил широкий и сверху и снизу, а зеленый только сверху.
Лемма №2: крокодил более зеленый, чем длинный.
Доказательство: крокодил зеленый и в длину и в ширину, а длинный только в длину.
Следовательно, крокодил более широкий, чем длинный.
Из этих двух теорем может сложиться впечатление, что крокодил квадратный, однако это неверно, так как все неравенства строгие.
ВЫВОД: Скрытый текст Крокодила не существует!
|