Linear congruences, Exponentiation modulo, Chinese Remainder Theorem