9.13(2)提取公因式法