一次合同方程式 ax \equiv b \pmod{m} が解を持つ必要十分条件は、b が g = (a, m) で割り切れるときに限り、解の個数は g である。
証明
(i) (a, m) = 1 のとき
ax \equiv b \pmod{m} より、 ax + my = b とおける。定理 1.9 より、解が存在する。解のうちの一つを (x, y) = (x_0, y_0) とおけば、全ての解は (x_0 - mk, y_0 + ak) とおける。そのとき、解の全て（xのこと）は m を法として同じ類に属す。すなわち解は 1 = (a, m) 個である。
(ii) (a, m) = g のとき
ax - b = my とおくと、b = ax - my より b は g = (a, m) で割り切れる。
そこで a = ga', b = gb', m = gm' とおく。
ax - b \, | \, m \iff a'x - b' \, | \, m' \iff a'x \equiv b' \pmod{m'} \cdots (1) となる。
もちろん (a', m') = 1 より、(1) を満たす x は m' を法とする類である。その一つを x_0 とおくと、(1) の解は x = x_0 + m't と書ける。t に2つの値 t_1, t_2 を与えたとき m't_1 \equiv m't_2 \pmod{m} となるには、m'(t_1 - t_2) が m で割り切れる、すなわち t_1 - t_2 が g で割り切れるときに限る。
つまり t_1 \equiv t_2 \pmod{g} であり、t に 0, 1, \cdots , g-1 の g 個の値を与えるときに合同式の全ての解を得られる。つまり、解の個数は g 個である。
有理数を小数展開すると最終的に循環する小数となることはよく知られている。ここでは、その小数展開について考察したい。実はその小数展開にフェルマーの小定理と原始根が関わっているのである。
まず、整数部分を消去することで \frac{n}{d} (0 の形の分数（真分数）についてのみ考えればよくなる。
まず d>1 が2と5のみを素因数に持つ場合、 d=2^e 5^f とおくと
=\begin{cases}\frac{2^{f-e} n}{10^f}, & f\geq e \\ \frac{5^{e-f} n}{10^e}, & e\geq f\end{cases}
となり、有限小数であることがわかる。
次に d>1 が10と互いに素な場合を考える。ここで 10\pmod{n} の位数を l とし、
10^l-1=dM とおくと
\dot {1}
nM なので nM=a_{l-1}\cdot 10^{l-1}+a_{l-2}\cdot 10^{l-2}+\cdots +a_1\cdot 10+a_0 (0\leq a_0, a_1, \ldots, a_{l-1}\leq 9 と10進展開すると
となり、純循環小数であらわされる。
さて、一般の場合、任意の正の整数 d は d=2^e 5^f m, \gcd(m, 10)=1 とあらわされる。
となる。ここでそれぞれの場合に 2^{f-e} n=qm+r (0 あるいは 5^{e-f} n=qm+r (0 とおくと
あるいは
となる。ここで 
q=b_{f-1}\cdot 10^{f-1}+b_{f-2}\cdot 10^{f-2}+\cdots +b_1\cdot 10+b_0 (0\leq b_0, b_1, \ldots, b_{e-1}\leq 9)
あるいは q=b_{e-1}\cdot 10^{e-1}+b_{e-2}\cdot 10^{e-2}+\cdots +b_1\cdot 10+b_0 (0\leq b_0, b_1, \ldots, b_{e-1}\leq 9)
と10進展開すると、
あるいは
となる。さらに、先の場合と同様に
10\pmod{m} の位数を l とし、10^l-1=mM とおくと
rM なので rM=a_{l-1}\cdot 10^{l-1}+a_{l-2}\cdot 10^{l-2}+\cdot +a_1\cdot 10+a_0 (0\leq a_0, a_1, \ldots, a_{l-1}\leq 9) と10進展開すると
より
 \dot a_{l-1} a_{l-2}\ldots \dot a_0
あるいは
 \dot a_{l-1} a_{l-2}\ldots \dot a_0
となる。
以上より、10進展開は次のようになる。
定理
d=2^e 5^f m, \gcd(m, 10)=1 と分解し、
f\geq e のとき 2^{f-e} n=qm+r (0 となるように q, r を定め
q=b_{f-1}\cdot 10^{f-1}+a_{f-2}\cdot 10^{f-2}+\cdots +b_1\cdot 10+b_0 (0\leq b_0, b_1, \ldots, b_{e-1}\leq 9) と10進展開する。
e\geq f のとき 5^{e-f} n=qm+r (0 となるように q, r を定め
q=b_{e-1}\cdot 10^{e-1}+b_{e-2}\cdot 10^{e-2}+\cdots +b_1\cdot 10+b_0 (0\leq b_0, b_1, \ldots, b_{e-1}\leq 9) と10進展開する。
e=f のときは q=0, r=1 とする。
さらに 10\pmod{m} の位数を l とし、10^l-1=mM に対して
rM=a_{l-1}\cdot 10^{l-1}+a_{l-2}\cdot 10^{l-2}+\cdots +a_1\cdot 10+a_0 (0\leq a_0, a_1, \ldots, a_{l-1}\leq 9) と10進展開する。
このとき
\frac{n}{d} の小数展開は
0.b_{e-1}b_{e-2}\ldots b_0\dot a_{l-1} a_{l-2}\ldots \dot a_0, & e\geq f\end{cases}
により与えられる。
さらに、次のことがわかる。
定理 
d=2^e 5^f m, \gcd(m, 10)=1 と分解する。 \gcd(d, n)=1 ならば
\frac{n}{d} の小数展開の周期は 10\pmod{m} の位数 l と一致する。
証明 
上の小数展開において
ならば
であるが、r=2^{f-e} n-qm または r=5^{e-f} n-qm であるから、\gcd(n, m)=\gcd(10, m)=1 より \gcd(r, m)=1 である。よって 10^k\equiv 1\pmod{m} より k\geq l でなければならない。
同様にして、基数が10以外のときでも次の定理が成り立つ。
定理 
d=bm, \gcd(m, a)=1 と分解する。 \gcd(d, n)=1 ならば
\frac{n}{d} の a 進小数展開の周期は a\pmod{m} の位数と一致する。
このことから a 進小数展開の周期は高々 m-1 であることがわかる。さらに等号は d が素数で a\pmod{d} が原始根であるとき、そしてそのときに限り成り立つ。つまり小数展開の周期が可能な限り大きい場合は、 a\pmod{p} が原始根である場合と一致するといえる。先に述べたように、そのような素数 p が無数に存在するかどうかは未だ解決されていない。