Věta: Krokodýl je delší než širší.
Důkaz:
Lemma 1 - Krokodýl je víc dlouhý než zelený:
Podívejme se na krokodýla. Je dlouhý na spodní i horní straně, ale zelený je jenom na horní. Krokodýl je tedy víc dlouhý než zelený.
Lemma 2 - Krokodýl je víc zelený než široký:
Podívejme se na krokodýla. Je zelený podélně i příčně, ale široký je jenom příčně. Krokodýl je tedy víc zelený než široký.
Podle lemma 1 a lemma 2 usoudíme, že krokodýl je delší než širší.