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