Euclids_Lemma_for_Primes