ExtendedEuclidAlgorithm Returns integers x,y such that ax+by=gcd(a,b) for any two positive integers a,b taken as input