Теорема о крокодиле

Автор неизвестен

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

Доказательство:
Будет проведено в 2 этапа. Сначала докажем, что крокодил более длинный, чем зеленый, а потом - что он более зеленый, чем широкий, после чего требуемое будет следовать из транзитивности отношения "более".

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

2. Крокодил зеленый и вдоль, и поперек, а широкий только поперек. Следовательно, крокодил более зеленый, чем широкий.

3. Поскольку крокодил более длинный, чем зеленый, и более зеленый, чем широкий, то в силу транзитивности отношения "более" крокодил более длинный, чем широкий.

Что и требовалось доказать.