Cum demonstrezi ca un crocodil e mai mult lung decat lat ? LEMA1: Dat fiind ca e lung si vazut de sus si vazut de jos, dar verde numai vazut de sus ==> e mai mult lung decat verde. LEMA2: Dat fiind ca e verde si de-a lungul si de-a latul, dar lat numai de-a latul (evident) ==> e mai mult verde decat lat. Prin tranzitivitate, aplicand cele 2 leme de mai sus rezulta concluzia teoremei L(croco)>verde(croco)>l(croco), i.e. e mai mult lung decat lat.