证明：
（i）若是x₁，x₂，…，x_n和y₁，y₂，…，y_n是R上两组无关未定元，那么R[x₁，x₂，…，x_n] R[y₁，y₂，…，y_n）。
（ii）R上的一元多项式环R[x]能与它的一个真子环同构。