Theorem. Division with Remainder [004Y]

For every where there exists a unique pair of numbers and such that and .

Proof. The set is not empty, thus contains a minimal element . This gives us existence. Now to uniqueness: Let there be two pairs that fullfill our requirements. We now have . This gives us , but , which is only possible with . This forces as well.