任意の許容 ABCABCABC で、半直線 CACACA と CBCBCB はそれぞれ B0B_0B0、A0A_0A0 を通る。したがって ∠A0CB0=∠ACB=∠Z\angle A_0CB_0=\angle ACB=\angle Z∠A0CB0=∠ACB=∠Z であり、CCC は A0,B0,ZA_0,B_0,ZA0,B0,Z を通る固定円上にある。