Let 'a' and 'b' be any positive integers.
Then there exist a unique integers 'q' 'r' such that
a=bq+r;0≤r≤b
If ba then r = 0. Otherwise 'r' satisfies the stronger mearality 0≤r≤b
Proof: Consider the following arithmetic progression
...a-2b, a-b, a, a+b, a+2b...
Here common difference is 'b' it extends to the both direction.
Let 'r' be the smallest non-negative of this A.P.
Then there exists a non-negative integer 'q' such that
a-bq = r = a = bq+r
As, it is the smallest non-negative integer satisfying the above result.
Therefore, 0≤r≤b
Thus, we have
a=bq+r,0≤r≤b
We shall now prove that r1=r and q1=q
We have,
a=bq+r and a=bq1+r1
⇒bq+r=bq1+r1
⇒r1−r=bq1−bq
⇒r1−r=b(q1−q)
⇒br1−r
⇒r1−r=0 [Since, 0≤ r<b and 0≤r1<b ⇒0≤r1−r≤b]
⇒r1=r
⇒bq1=bq
⇒q1=q
Hence the representation is a = bq+r,0≤ r<b