Доказательство: Крокодил длинный и сверху, и снизу, а зелёный только сверху.
Лемма 2: Крокодил зеленее, чем шире.
Доказательство: Крокодил зелёный и вдоль, и поперёк, а широкий только поперёк.
Теорема 1: Крокодил длиннее, чем шире.
Доказательство: см. леммы 1 и 2.
Лемма 3: Крокодил шире, чем злее.
Доказательство: Крокодил широкий от лапы до лапы, а злой только от носа до шеи.
Лемма 4: Крокодил злее, чем длиннее.
Доказательство: Применим дополнительные леммы:
Лемма 5: Крокодил злее, чем тяжелее.
Доказательство: Воспользуемся приёмом последовательного дробления и интеграции. Разделим крокодила на N частей. При этом масса каждой части уменьшается, стремясь в пределе к нулю. Злость, как известно, величина не аддитивная, т.е. при дроблении злость каждой части не уменьшается. Далее очевидно, что при интеграции злость будет строго больше тяжести.
Лемма 6: Крокодил тяжелее, чем длиннее.
Доказательство: Крокодил длинный только вдоль, а тяжёлый и вдоль, и поперёк.
Теорема 2: Крокодил шире, чем длиннее.
Доказательство: см. леммы 3, 4, 5, 6.
Таким образом, с одной стороны крокодил длиннее, чем шире, а с другой — шире, чем длиннее.
Может сложиться впечатление, что крокодил квадратен, но это не верно, так как все неравенства строгие.
Вывод: крокодил не существует.
