According to euclid's division algorithm HCF of any two positive integers a and b with a> b is obtained by applying euclid's division lemma to a and b to find q and r such that a = bq +r where r must satisfy