>>676
可換環Fの元を係数に持つ1変数の多項式をF-係数の1変数多項式という。
有理関数体K'(y)の係数を持つK-係数の2変数xy多項式を考えて
多項式環が環K[y,x]だと>>647の
>c≠0、a+c=b+c=0のときa,b≠0でa+bx+c(1+x)=0は成立(a,b,c∈K(y))
がヒントになる。xに着目するのではなく、yに着目してyを不定元として考える。