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

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

Для доказательства докажем 2 леммы.
1. Крокодил более длинный, чем зеленый.
Крокодил длинный и снизу, и сверху, а зеленый только сверху.
2. Крокодил более зеленый, чем широкий.
Крокодил сверху и зеленый, и широкий, а сбоку только зеленый, что
доказывает лемму.
По закону транзитивности широкий<зеленый<длинный.

Обратная теорема: Крокодил более широкий, чем длинный.
1. Крокодил более широкий чем зеленый.
Крокодил широкий и снизу и сверху, а зеленый только сверху.
2. Крокодил более зеленый чем длинный.
Крокодил зеленый и сверху, и сзади, но длинный только сверху.
По закону транзитивности: длинный<зеленый<широкий

Из всего этого следовало бы, что крокодил квадратный, но поскольку
неравенества строгие, КРОКОДИЛОВ НЕ СУЩЕСТВУЕТ.