- #1

- 66

- 0

Member asked to not delete the template in future posts

## Homework Statement

Let a, b be natural numbers then there exists a unique pair (q,r) that are elements of the non-negative integers such that b=aq+r and 0 is less than or equal to r which is less than a

I have a question regarding the existence part of the proof, now if I assumed a is less than b, its clear that there exists a positive integer x such that xa is greater than b. Now, why must q be the least element such that (q+1)a is greater than b?