9.1.1 公式化简法