本步骤利用假设和公式 M′M^\primeM′、CHCHCH、ABCABCABC、N′N^\primeN′、BHBHBH、HBM′MHBM^\prime MHBM′M、HCN′NHCN^\prime NHCN′N，推出所述结论。