提公因式法是什么?