k[x,y]/J = k[√(-1)] は整域