多项式乘法消去律严格证明