The condition proves that ∆ABC and ∆EFG are congruent by the SAS criterion. If AB ≠ EF, the criterion for congruency is violated. In this situation, angle C angle G.