pub fn extended_gcd(a: i64, b: i64) -> (i64, i64, i64)
Extended Euclidean algorithm.
Returns (g, x, y) such that a*x + b*y == g == gcd(a, b).
(g, x, y)
a*x + b*y == g == gcd(a, b)