Teoria 1:
Crocodilul este mai mult lung decat verde
Demonstrare: Privim crocodilul de sus. El este lung si verde. Il privim de jos. El este lung, dar burta este alba. Teorema demonstrata.
Teorema 2
Crocodilul este mai mult verde dacat lat
Demonstrare: Privim crocodilul de sus. El este verde atat pe lungime cat si pe latime. Dar lat este numai pe latime. Teorema demonstrata.