Als van een punt 
in een driehoek 
rechte lijnen worden getekend
naar de uiteinden van een zijde (
),
moeten deze lijnen samen korter zijn dan de andere twee zijden van de driehoek en
moeten ze een grotere hoek omvatten.
Verleng 
.
Nu: 
>
(prop 20).
Voeg 
aan elk toe:
+
> + (ax 4).
Op dezelfde manier kan worden aangetoond dat
+ > +
.
Dus: + > +,
en dat is wat bewezen moet worden.
Evenzo: 
> 
(prop 16) en ook 
> (prop 16).
Dus > .
QED