Op een gegeven lijnstuk (
) een vierkant construeren.
Teken 
⊥ en = (prop 11 en prop 3).
Teken 
// tot hij 
// snijdt.
In 
= (constr).
= een rechte hoek (constr).
Dus 
= = een rechte hoek (prop 29).
En de overige zijden en hoeken moeten gelijk zijn (prop 34).
En daarom is een vierkant (def 27).
QED
Vierkant construeren
zie ook hier