LLL を AAA から下ろした垂線の足とし、ZZZ を ω1\omega_1ω1 と ω2\omega_2ω2 の WWW 以外の交点とする。∠BNC=∠BMC=90∘\angle BNC=\angle BMC=90^\circ∠BNC=∠BMC=90∘ より、B,C,N,MB,C,N,MB,C,N,M は共通の円 ω3\omega_3ω3 上にある。