12.5.1提公因式法