>>679
大抵の場合はそうだが、体Ｋの有理関数体K(y)は超越拡大体なので、>>678のような考え方は出来る。