(a,p)=1 yani a ile p aralarında asal ve p bir asal sayı ise
a^(p-1) ≡ 1 (mod p)

(a,p)=1 olmasına ek olarak
p nin bir asal sayı olduğu da teoremin ifadesine eklenmelidir.