The theorem being proved in your proof is the Isosceles Triangle Theorem, which states that in an isosceles triangle, the angles opposite the equal sides are congruent. In this case, you have an isosceles triangle \( \triangle ABC \) where \( AB \cong BC \), and you are proving that \( \angle A \cong \angle C \).
So the correct answer is the Isosceles Triangle Theorem.