この手順では仮定と式 M′M^\primeM′、CHCHCH、ABCABCABC、N′N^\primeN′、BHBHBH、HBM′MHBM^\prime MHBM′M、HCN′NHCN^\prime NHCN′N を用いて、示された結論を導く。