Division Theorem/Positive Divisor/Uniqueness/Proof 1

Proof
It is given by Division Theorem: Positive Divisor: Existence that such $q$ and $r$ exist.