Prove that if , then there is exactly one such that .
Proof. By I.3.12, Exercise #4 we know that for there is exactly one such that
If , then we already done since .
If , then we have and so . But we already have ; hence,
So, is an integer with the desired properties. Uniqueness follows from the uniqueness of our choice of