Это цитата сообщения FARIK666 Оригинальное сообщение

Теорема

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

Доказательство:
Разобьём теорему на две леммы
Лемма 1
Крокодил более длинный, чем зелёный.
док-во: крокодил длинный и сверху и снизу, а зелёный только сверху.
Лемма 2
Крокодил более зелёный, чем широкий.
док-во: крокодил зелёный и в длину и в ширину, а широкий только в ширину
=>крокодил более длинный, чем широкий.




Однако, аналогично доказывается обратная теорема
КРОКОДИЛ БОЛЕЕ ШИРОКИЙ, ЧЕМ ДЛИННЫЙ.

Доказательство:
Лемма 1
Крокодил более широкий, чем зелёный
док-во: крокодил широкий и сверху и снизу, а зелёный только сверху.
Лемма 2
Крокодил более зелёный, чем длинный
док-во: крокодил зелёный и в длину и в ширину, а длинный только в длину.
=>крокодил более широкий, чем длинный.

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


Вывод: крокодил не существует.