The theorem being proved in the given proof is the Base Angles Theorem.
This theorem states that in an isosceles triangle, the angles opposite the equal sides are also equal. In this case, since triangle ABC is isosceles with sides \( AB \) and \( BC \) being congruent, the proof shows that angles \( \angle A \) and \( \angle C \) are congruent as well.