Show that is a basis for the ideal in .
First we wish to show that ; the direction is clear. Now suppose ; note that , as desired.
Now suppose we have integers such that . Comparing coefficients, we have and . Evidently this system has only the solution , so that is -linearly independent. Hence is a basis for .