14.3.3 因式分解过程演算