* * *
Теорема. Крокодил более длинный, чем широкий. Доказательство. Будет проведено в
2 этапа. Сначала докажем, что крокодил более длинный, чем зеленый, а потом - что
он более зеленый, чем широкий, после чего требуемое будет следовать из
транзитивности отношения "более". Крокодил длинный сверху и снизу, а зеленый
только сверху. Следовательно, крокодил более длинный, чем зеленый. Крокодил
зеленый и вдоль, и поперек, а широкий только поперек. Следовательно, крокодил
более зеленый, чем широкий. Что и требовалось доказать.
* * *
Попали Гена крокодил с Чебурашкой в КПЗ. Сидят. Чебурашка у Гены спрашивает:
- Гена, а нас стричь здесь будут? Гена, будучи впервые в КПЗ, говорит:
- Да не знаю я. Проходит какое-то время, Чебурашка опять с тем же вопросом к
Гене пристал:
- Ген, ну а стричь нас будут?
- Да не знаю я, - отвечает Гена, - вон у крысы спроси. Крыса поворачивается и,
обижено говорит:
- Да не крыса я, а ежик!
