Напомнило:
"Теорема: Крокодил более длинный чем широкий.
Доказательство: Возьмем произвольного крокодила и докажем две вспомогательные леммы.
Лемма 1: Крокодил более длинный чем зеленый.
Доказательство:
Посмотрим на крокодила сверху - он длинный и зеленый.
Посмотрим на крокодила снизу - он длинный, но не такой зеленый (на самом деле он темно-серый).
Следовательно, лемма 1 доказана.
Лемма 2: Крокодил более зеленый чем широкий.
Доказательство:
Посмотрим на крокодила еще раз сверху. Он зеленый и
широкий. Посмотрим на крокодила сбоку: он зеленый, но не широкий. Это доказывает лемму 2.
Утверждение теоремы следует из доказанных лемм.
Обpатная теоpема: "Кpокодил более шиpокий, чем длинный" доказывается аналогично.
Hа пеpвый взгляд из обоих теорем следует, что кpокодил - квадpатный. Однако, поскольку все неpавенства - стpогие, то настоящий математик сделает единственно пpавильный вывод: КРОКОДИЛОВ HЕ СУЩЕСТВУЕТ!""©
yaplakal.com