Euclid’s division lemma states that for two positive integers a and b, there exist unique integers q and r such that a = bq+r, where r must satisfy