Ako su (u ravni)
i
sa pravom
(§ 27) i
,
, koje su upravne na
, jednake, biće očevidno
i uglovi (možda krivolinijski)
takođe kongruentni, kao i
.
Ako je dalje
, biće
i svaki od njih polovina četvorougla
. Ako su
dva takva četvorougla nad
između
i
, njihova jednakost uviđa se lako (kao kod Evklida), kao i jednakost trouglova
,
, koji imaju zajedničku osnovicu i čija temena leže u
.
Dalje su
,
i
(§ 32), kao i
, tako da je u svakom ovakvom trouglu zbir sva tri ugla
.
Bilo da
(koje je
) pada ujedno sa pravom
bilo da ne pada, jasno je da su kako sami pravolinijski trouglovi
tako i njihove sume uglova među sobom jednaki.