Małe twierdzenie Fermata

Małe twierdzenie Fermata, MTF, MTwF:

Dla dowolnych $$a \in \mathbb{Z}$$ i $$p \in \mathbb{P}$$, zachodzi

$$a^p \equiv a\ (mod\ p)$$,

lub inaczej: jeżeli $$nwd(a,p)=0$$, to

$$a^{p-1} \equiv 1\ (mod\ p)$$.

Linki zewnętrzne

 * Twierdzenia Fermata różnej wielkości (Delta 10/18)
 * Małe twierdzenie Fermata (Delta 4/17) (ciekawy dowód MTF)
 * O pewnym uogólnieniu małego twierdzenia Fermata (Delta 10/15)
 * O pewnym uogólnieniu małego twierdzenia Fermata (Delta 10/15)