Euclid Division Lemma

Description : Given positive integers a and b, there exist unique integers q and r satisfying a = bq + r, 0 ≤ r and r is less than b.