Γ\GammaΓ(A,B,C,FA,B,C,FA,B,C,F を通る)と前段の ω1=(ADCE)\omega_1=(ADCE)ω1=(ADCE) に加え、仮定より ω2=(BDFE)\omega_2=(BDFE)ω2=(BDFE) は B,D,F,EB,D,F,EB,D,F,E を通る。これら3つの円のどの2つも、印を付けた点のうちちょうど2点を共有する:Γ\GammaΓ と ω2\omega_2ω2 は B,FB,FB,F を、Γ\GammaΓ と ω1\omega_1ω1 は A,CA,CA,C を、ω1\omega_1ω1 と ω2\omega_2ω2 は D,ED,ED,E を共有する。