This question was asked in Theorem 7.4

Proof of AAS conguerence condition

Sonia Madan's image