Fermat's assertion that if n is any whole number and p any prime, then n multiplied by itself p times minus n is divisible by p.