= Congrucences =
A Congruence
{{{
ax = 1 (mod m)
}}}
has a solution x, if and only if a and m are [[relative_prime]]s. The solution
in the range of 1 to m-1 is denoted a^-1 or a^-1 (mod m), called the
multiplicative inverse of a modulo m.