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