Euclid's Division Lemma