体K上の２変数多項式環K[X,Y]のX^2-Y^3によって生成されるイデアル(X^2-Y^3)による
剰余環をRとするとき, R は整域であることを示したいんですがうまくできません

(X^2-Y^3)が素イデアルであることをしめせばいいのはわかるんですが
X^2-Y^3が因数分解できないから素イデアルであるとかではだめなんですよね
きちんとした証明がしりたいので教えてください