1.2. Euclid's Division Lemma