Tеорема: Крокодил более длинный, чем широкий.
Для доказательства докажем 2 леммы.
1. Крокодил более длинный, чем зеленый.
Крокодил длинный и снизу, и сверху, а зеленый только сверху.
2. Крокодил более зеленый, чем широкий.
Крокодил сверху и зеленый, и широкий, а сбоку только зеленый, что
доказывает лемму.
По закону транзитивности широкий<зеленый<длинный.
Обратная теорема: Крокодил более широкий, чем длинный.
1. Крокодил более широкий чем зеленый. Крокодил широкий и снизу и сверху, а зеленый только сверху.
2. Крокодил более зеленый чем длинный. Крокодил зеленый и сверху, и
сзади, но длинный только сверху
По закону транзитивности длинный<зеленый<широкий
Из всего этого следовало бы, что крокодил квадратный, но поскольку
неравенества строгие, КРОКОДИЛОВ НЕ СУЩЕСТВУЕТ.