Started AM 2.2

I started the proof for Atiyah/MacDonald 2.2 but am stuck on showing
well-definedness. If I can make the assumption that the elements of the
module are the same in the tensor, the result follows immediately.
Confirm?