Теорема про крокодила Теорема : крокодил більш довгий, ніж широкий
Лема 1 Крокодил більш довгий, ніж зелений
Лема 2 Крокодил більш зелений, ніж широкий
Доведення теореми: Згідно лемі 1: крокодил більш довгий, ніж зелений, а по лемі 2: крокодил більш зелений, ніж широкий. Тому, крокодил більш довгий, ніж широкий. Що і потрібно було довести!