§5.多项式环的因子分解5.1基本结论5.2引理5.3结论的证明