Euclid S Division Lemma