from R[x0, . . . , xn−1, xn], we ha

from R[x0, . . . , xn−1, xn], we have f(x1, . . . , xn−1, w) = 0 and it follows that f
is a multiple of xn − w = x1 + . . . + xn − a. On the other hand, f contains at
most n monomials. Hence, by the next lemma, f = 0 and we have

ผลลัพธ์ (ไทย) 2:

จาก R [x0, . . , xn-1 xn] เราได้ f (x1, xn-1 w,...) = 0
และมันตามที่เอฟมีหลายxn - การ W = x1 + . . + xn - ทาง บนมืออื่น ๆ ,
ฉมีอย่างมากที่สุดmonomials n ดังนั้นโดยแทรกถัดไป f = 0 และเรามี

ผลลัพธ์ (ไทย) 3:

จาก R [ x0 , . . . . . . . . ซินซิน , − 1 ] เราได้ f ( x1 , . . . . . . . . คริสเตียน , − 1 W ) = 0 และมันเป็นไปตามที่ f
มีหลายของคริสเตียน− W = x1 . . . . . . . . คริสเตียน บริษัท เวสเทิร์น เอ บนมืออื่น ๆที่มีมากที่สุดที่ f
n โมโนเมียล . ดังนั้น โดยแทรกถัดไป , F = 0 และเราได้