23.3. Definíció
Fermat-tanú
Legyen egy tetszőleges pozitív, pedig tetszőleges -hez relatív prím egész szám. Tegyük fel továbbá, hogy -ra nem teljesül a kis Fermat-tételben szereplő kongruencia, azaz:
Ekkor az egész szám által reprezentált maradékosztályt az egész szám Fermat-tanújának nevezzük. Amennyiben -ra teljesül a fenti kongruencia, akkor az maradékosztályt Fermat-nemtanúnak nevezzük. Ha összetett, akkor az ő Fermat-nemtanúit Fermat-cinkosoknak nevezzük.
♣