A true statement that is lesser important and is used in proving another important statement true. It can also be said that a lemma is a small sub-theorem that needs to be proven in the process of proving a larger result.
Euclid's division lemma gives us a systematic procedure to compute the HCF of any two positive integers which is termed as the Euclid division algorithm.