https://pvillage.org/archives/11536
What is Euclid Division lemma give example?