CongruenceLinear Congruencesmsolve({3*x=6},9);Application: Check digits and the ISBN systemmodp(139,11);modp(167,11);modp(140,11);Fermat's theorem and Euler's theoremmodp(2^320,321);Application: construction of the regular 17-gonseq(modp(3^n,17),n = 0 .. 15);