Так как AE = AF, треугольник AEF является равнобедренным, следовательно, ∠EAF = ∠AEF. Точки E и F лежат на диагоналях ромба, которые делят углы и стороны ромба на равные части. Углы ∠CEF и ∠CFE равны по свойству равнобедренного треугольника, так как диагонали ромба пересекаются под равными углами. Доказано.