The division algorithm states

where and

Prove

I shall attempt a proof by contradiction

Assuming

Let where

So

Placing it into the original equation

And as and , then

So , but this is a contradiction to the division algorithm

So

Is this alright?

N.B.

The case where works similarly. You end up with , which is also a contradiction