k代数的閉体のとき、二変数多項式環k[X,Y]の素イデアルが、
(0),(f),(X-a,X-b) ※f:既約、a,b∈kのみで、極大イデアルが一番右ののみ
なのは、何を使って示すのでしょう？