Note that is Euclidean Domain
so also Principal Ideal Domain.
Now if is coprime with , then there is some
such that
So let be a generator of an ideal.
Then is also in the ideal and divides the generator
so is another generator.
This way, we can get rid of factors of not dividing .