Als van twee driehoeken twee zijden (
en 
)
van de ene
even lang zijn als twee zijden (
en 
)
van de ander,
en als de ene hoek tussen de gelijke zijden bij de ene driehoek (
)
groter is dan bij de andere (
),
dan is de zijde (
) tegenover de grotere hoek
langer dan de zijde (
) tegenover de kleinere hoek.
Maak = (prop 23)
en 
= (prop 3).
Teken 
en 
.
Omdat = (ax 1, hyp, constr) moet 
= 
(prop 5).
Dus 
< en daarom < 
.
Nu moet > (prop 19).
Daar = (prop 4) moet ook > .
QED