Euclid's Division Lemma states that for any two positive integers a and b, there exists unique integers q and r such that a = bq + r where r must satisfy :