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