Iedere twee hoeken van een driehoek (
) zijn samen
minder dan twee rechte hoeken.
Verleng 
, dan zal
+ 
= 
.
Nu is > 
(prop 16) en dus
dus + < .
Op dezelfde wijze is aan te tonen dat iedere andere combinatie van twee hoeken van de driehoek kleiner is dan twee rechte hoeken.
QED