# Why is (a mod n * x^(n-2)) mod n = (a/x) mod n? (let us say a, x, n, (a/x) are integers and gcd(n, x) is 1)