The theorem being proved in the given proof is the Isosceles Triangle Theorem.
This theorem states that in an isosceles triangle, the angles opposite the congruent sides are also congruent. In this case, it is established that since triangle ABC is isosceles with AB ≅ BC, it follows that ∠A ≅ ∠C.