15.5.1因式分解提公因式法