Для доказательства равенства треугольников АВС и EDF достаточно доказать, что
∠C = ∠E
АС = FE
∠A = ∠F