Euclid's Division Lemma states that, if two positive integers 'a' and 'b', then there exist unique integers 'q' and 'r' that satisfies the condition a = bq + r where 0 ≤ r ≤ b.