Persze. Euler-Fermat tétel (legalábbis mi így hívtuk): 1==a^fi(m) (mod m), ha a és m relatív prímek

Ennek speciális esetéből (m=p) következik Fermat tétele: a==a^p (mod p), ahol p prímszám, mivel fi(p)=p-1 (ez utóbbi triviális még nekem is :)