ВАС=ВСА, равнобедренный треугольник
АЕ=FC, AC = CA на сторонах равных углов ВАС, BCA, отсекают равные отрезки AF=EC
треугольники равны AEC=AFC по двум сторонам и углу между ними, соответсвенно равны все элементы равных треугольников, т.е. углы AFC=AEC