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