[3.141592653589]

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

[gereksizyorumcu]

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