Legyen n\gt 1 egy tetszőleges pozitív egész szám. Amennyiben n-nek létezik Fermat-tanúja a redukált maradékosztályok között, akkor a modulo n redukált maradékosztályoknak legalább a fele Fermat-tanú.