= 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.