https://blog.sheddow.xyz/gcd-euclid-and-bezout/