(First but that is a trivial thing).
What you wrote is correct, however, I do not see how it follows from .
Because if you take , for example, then there is non-uniqueness for the division algrorithm.
Notice if then we want . There are choices for but there are only congruence classes.