Fermat's little theorem in French

(number theory) The theorem that, for any prime number p and integer a, a^p - a is an integer multiple of p.