15.5.1 提公因式法