Đã
tới lúc ta kết thúc bài viết về Định lý nhỏ Fermat bằng việc chứng minh định lý
đã nêu ra ở phần 2:
Định lý 1. Nếu $n$ là số Carmichael thì $n$ luôn có dạng $n={{p}_{1}}{{p}_{2}}\ldots
{{p}_{m}}$ trong đó $m\ge 3$ và ${{p}_{i}},i=\overline{1,m}$ là các số nguyên tố
lẻ, đồng thời $n-1\equiv 0\left( \bmod {{p}_{i}}-1 \right),i=\overline{1,m}$.