Tеорема: Крокодил более длинный, чем широкий.



Для доказательства докажем 2 леммы.

1. Крокодил более длинный, чем зеленый.

Крокодил длинный и снизу, и сверху, а зеленый только сверху.

2. Крокодил более зеленый, чем широкий.

Крокодил сверху и зеленый, и широкий, а сбоку только зеленый, что доказывает лемму.

По закону транзитивности: широкий<зеленый<длинный.



Обратная теорема: Крокодил более широкий, чем длинный.

1. Крокодил более широкий чем зеленый

Крокодил широкий и снизу и сверху, а зеленый только сверху.

2. Крокодил более зеленый чем длинный

Крокодил зеленый и сверху, и сзади, но длинный только сверху.

По закону транзитивности: длинный<зеленый<широкий



Из всего этого следовало бы, что крокодил квадратный, но поскольку

неравенества строгие, КРОКОДИЛОВ НЕ СУЩЕСТВУЕТ.



стырено у Hel-M