This question was asked in Ex 3.5, 1
What do you mean by euclid's lemma

Govinda UTF's image