2.5.7 多项式扩展