B,Y,X,CB,Y,X,CB,Y,X,C は共円で(ステップ4)、L,B,YL,B,YL,B,Y は共線なので ∠LXY=∠LBC\angle LXY=\angle LBC∠LXY=∠LBC。また LB∥CELB\parallel CELB∥CE(ステップ2)であり、根心の構成から C,N,EC,N,EC,N,E は共線なので ∠LBC=∠BCN\angle LBC=\angle BCN∠LBC=∠BCN。さらに B,C,D,EB,C,D,EB,C,D,E は Ω\OmegaΩ 上にあり、B,N,DB,N,DB,N,D は共線だから、∠BCN=∠BCE=∠BDE=∠NDE\angle BCN=\angle BCE=\angle BDE=\angle NDE∠BCN=∠BCE=∠BDE=∠NDE。したがって ∠LXY=∠NDE\angle LXY=\angle NDE∠LXY=∠NDE であり、有向角により XY∥DEXY\parallel DEXY∥DE を得る。