问答题 设个体域D={a，b，c}，在D中消去公式的量词。甲、乙用了不同的演算过程。 甲的演算过程如下： 乙的演算过程如下： 显然，乙的演虎过程简单些，试指出乙在演算过程中的关键步骤。

问答题 设f（x）=a0+a1x+a2x2+...+anxn，a0，a1，...an为实数，称f（x）为实数域上的n次多项式，令A={f（x）∣f（x）为实数域上的n次多项式，n∈N}。证明：A关于多项式的加法和乘法构成一个环，称为实数域上的多项式。

问答题 设A={a+bi∣a，b∈Z，i2=-1}，证明：A关于复数加法和乘法构成环，称为高斯整数环。