2) εκθεσις.
ΑΒΓ sei das gleichschenklige Dreieck mit ΑΒ gleich ΑΓ und es mögen auf ihrer Geraden ΑΒ und ΑΓ verlängert werden um ΒΔ und ΓΕ.
3) διορισμός.
Ich behaupte etc.
4) κατασκευή.
Man nehme auf ΒΔ einen beliebigen Punkt Ζ an, von ΑΕ nehme man ΑΗ gleich ΑΖ weg und ziehe ΖΓ und ΗΒ. (Fig.)
5) αποδειξις.
Dann ist ◁ΑΖΓ ≅ ΑΗΒ (Satz 4), folglich ◁ΑΓΖ = ΑΒΗ und ∢ΑΖΓ = ΑΗΒ, und da ΑΖ = ΑΗ und ihr Teil ΑΒ und ΑΓ auch gleich, so ist (Ax. 3) ΒΖ = ΓΗ; und, da bereits bewiesen, dass ΖΓ = ΒΗ und ∢ΒΖΓ = ΒΗΓ, so ist (4) Dreieck ΒΖΓ ≅ ΒΗΓ, folglich ∢ΖΒΓ = ΗΓΒ, und ΒΓΖ = ΓΒΗ. Da nun der ganze Winkel ΑΒΗ = dem ganzen Winkel ΑΓΖ erwiesen wurde, und die Teile ΓΒΗ und ΒΓΖ gleich, so ist (Ax. 3) ∢ΑΒΓ = ΑΓΒ und dies sind die Basiswinkel. Die Gleichheit aber von ΖΒΓ und ΗΓΒ wurde schon gezeigt und sie liegen unterhalb der Basis.
6) συμπέρασμα.
Also sind im gleichschenkligen Dreieck etc.