Als van twee driehoeken twee zijden (
en 
) van de ene gelijk zijn
aan twee zijden (
en 
) van de ander,
en hun bases ongelijk zijn,
dan is de hoek tussen de zijden horend bij de langere basis (
)
groter dan de hoek horend bij de kortere basis (
).
=, < of > 
is niet even groot als ,
want als = dan = (prop 4).
En dat is in strijd met de hypothese.
is niet kleiner dan ,
want als < dan < (prop 24).
En ook dat is in tegenspraak met de hypothese.
Dus > .
QED