ところで、>>678

>有理関数体K'(y)の係数を持つK-係数の2変数xy多項式を考えて

はどういう意味でしょうか?結局、係数環(体)はKですか?それともK(y)ですか???