15.4.1 提公因式法