12.5.1提公因式法因式分解