この手順では仮定と式 ONONON、OB=OCOB=OCOB=OC、OBN,OCNOBN,OCNOBN,OCN、∠NOC=12∠BOC=∠BAC\angle NOC=\frac12\angle BOC=\angle BAC∠NOC=21∠BOC=∠BAC を用いて、示された結論を導く。