Euclid's first theorem

  1. REDIRECT Euclid's lemma