Teoreem krokodillidest

Teoreem. Krokodill on pikem kui laiem.

Tõestus. Teoreemi tõestamiseks näitame kahe abiteoreemi kehtivust:

   1) Krokodill on pikem kui rohelisem.

   Tõestus. Vaatame krokodilli ülevalt. Ta on pikk ja roheline.

           Vaatame krokodilli alt. Ta on pikk ,aga mitte nii roheline.

           Sellega on esimene abiteoreem tõestatud.

   2) Krokodill on rohelisem kui laiem.

   Tõestus. Vaatame krokodilli veelkord ülevalt. Ta on roheline ja lai.

           Vaatame krokodilli küljelt. Ta on roheline, aga mitte nii lai.

           See tõestas teise abiteoreemi.

        Teoreemi tõestus järeldub kahest abiteoreemist.