Рассмотрим треугольники ABC и KDF. Они имеют равные углы при вершинах A и K, так как эти углы вертикальные. Также стороны AB и KD пропорциональны, как и AC и KF. Следовательно, эти треугольники подобны по первому признаку подобия треугольников. Из подобия следует, что углы при вершинах C и F равны. Таким образом, доказано, что ∠C = ∠F.