Let be the ring of integers in . Show that the ideals and are distinct.
Suppose to the contrary that these ideals are equal. Then in particular, we have . Comparing coefficients yields the two integer equations and . Mod 7, we have and . Solving this system by substitution yields mod 7; hence the system has no solution.
So these ideals are distinct.