Add alternate proof for Euclid's lemma