Searching for links to ModuloArithmetic:
EuclideanAlgorithm
Factorial
FermatsLittleTheorem