We use the isosceles triangle theorem, its converse, and related theorems; and use the AAS theorem and right triangle theorems to prove triangles congruent.
