This question was asked in Ex 1.1, 4
Euclid's lemma states that for any positive integers a and b exists unique integers q and r such that a=bq r where r must satisfy which inequality.

Jitendra Singh's image