>>885
レスをどうもありがとうございます。
でも、XとYをともに割り切るようなK[X,Y]の元がないことって
「明らか」な気がするんですが…。