この手順では仮定と式 OOO、M′BCM^\prime BCM′BC、N′BCN^\prime BCN′BC、R,SR,SR,S、OOO、HM,HNHM,HNHM,HN、HP/HR=HQ/HSHP/HR=HQ/HSHP/HR=HQ/HS を用いて、示された結論を導く。