Use the division algorithm to prove that if and are integers with , then there exist unique integers and such that , with
Thanks in advance
Say .
Then, . [1]
However, .
This means .
Look at [1] and take absolute values, .
Now if and so which is a contradiction.
This forces which ultimately forces .