The division algorithm states
I shall attempt a proof by contradiction
Placing it into the original equation
And as and , then
So , but this is a contradiction to the division algorithm
Is this alright?
The case where works similarly. You end up with , which is also a contradiction