本步骤利用假设和公式 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,推出所述结论。