Euclid Division Lemma