8.3.6 消除变量相乘