Лежит крокодил, на солнце загорает. Мимо лягушка плывет, да такая обомлевшая,

довольная, кайфует. Завидно крокодилу стало.

- Лягушка, ты чего такая довольная?

- Ген, поцелуй меня!

- Ты чо, зеленая, я ж не умею!

- Ну поцелуй, как умеешь!

- Фу, да еще такую гадость!

- Ну я очень прошу...

- Ну ладно... Хватает ее в рот, пожевал и выплюнул. Лягушка, вытирая губы:

- Но-но! Без засосов!

Идут по городу мужик и крокодильчик. Крокодильчик ноет:

- Мужик, у меня лапки коротенькие, брюшко нежное, идти тяжело поехали в

автобусе... Сели в автобус. Крокодильчик опять:

- Мужик, мне хвост закомпостировали, пихаются все вокруг поймай такси... Поймал

мужик такси. Крокодильчик снова:

- Мужик, на переднем сиденье трясет, водило противный - пошли пешком... Пошли

пешком. Крокодильчик:

- Мужик, у меня лапки коротенькие, брюшко нежное, идти тяжело - поехали в

автобусе... Надоело мужику, он как заорет:

- Чего тебе надо, в конце-то концов?!

- Ну, мужик, ну до чего ты нудный...

Теорема. Крокодил более длинный, чем широкий. Доказательство. Будет проведено в

2 этапа. Сначала докажем, что крокодил более длинный, чем зеленый, а потом - что

он более зеленый, чем широкий, после чего требуемое будет следовать из

транзитивности отношения "более". Крокодил длинный сверху и снизу, а зеленый

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

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

более зеленый, чем широкий. Что и требовалось доказать.