Isosceles triangle proof of congruent base angles
Given Hilbert's axioms, show that the base angles of an isosceles triangle are congruent.
Consider the isosceles triangles and . Notice that and Thus, by the application of Hilbert's Axiom of Congruence III-5, we know that . We can further conclude that Thus, in triangle the base angles, and are congruent.