この手順では仮定と式 ∠BOC\angle BOC∠BOC、∠BAC\angle BAC∠BAC、BCBCBC、∠BOC=2∠BAC\angle BOC=2\angle BAC∠BOC=2∠BAC を用いて、示された結論を導く。