Поиграем в математику

Теорема: крокодил больше длинный чем широкий.

Введём две дополнительные леммы.

Лемма 1: крокодил больше длинный чем зелёный.

Лемма 2: крокодил больше зелёный чем широкий.

Докажем первую лемму. Крокодил длинный и сверху и снизу, а зелёный только сверху. Следовательно, он больше длинный чем зелёный. Лемма доказана.

Докажем вторую лемму. Крокодил зелёный и вдоль и поперёк, а широкий только поперёк. Следовательно, он больше зелёный чем широкий. Лемма доказана.

Основное доказательство. Согласно лемме 1, крокодил больше длинный чем зелёный, а согласно лемме 2, он больше зелёный чем широкий. Следовательно, крокодил больше длинный чем широкий. Теорема доказана.