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 congruent sides are also congruent. In this case, since \( AB \cong BC \), it is shown that \( \angle A \cong \angle C \). The steps in the proof confirm that this is the outcome, aligning with the Base Angles Theorem.