Для доказательства равенства треугольников АВС и EDF достаточно доказать, что

• ∠C = ∠E
• АС = FE
• ∠A = ∠F