Cを複素数体，C[[x, y]]を2変数の形式的べき級数環，イデアルI = (x^2 - y^2 + y^3)とするとき，
C[[x, y]]/Iが整域でないことを示したいのですが，どうしたらいいでしょうか．