この手順では仮定と式 N,C,Q,ON,C,Q,ON,C,Q,O、Γ\GammaΓ、NCNCNC、∠NQC=∠NOC=∠BAC\angle NQC=\angle NOC=\angle BAC∠NQC=∠NOC=∠BAC を用いて、示された結論を導く。