For any two natural numbers x,y , assign |x−y| to the bigger number. Repeat this process until the smaller number becomes 0, and then the bigger number will become gcd(x,y)