Modular inverse
Fix gcd