Xét hai tam giác ∆ABF, ∆ACE ta có:

AB = AC, vì ∆ABC cân tại A

A^ chung

AE = AF, giả thiết

Do đó:

∆ABF=∆ACEc.g.c

⇒ABF^=ACE^⇔EBF^=FCE^

Vậy các điểm B, C nằm phía dưới đối với EF và thỏa mãn EBF^=FCE^ nên bốn điểm B, C, E, F cùng thuộc một đường tròn.