Evident ca a si p trebuie sa fie prime intre ele.
Din teorema lui Fermat avem ca p|a^p-a si faptul ca p divide a^p+1 deducem ca p divide a+1 .Fie a =np-1 astfel (np-1)^p+1 dezvoltata dupa binomul lui Newton ne justifica ca expresia se divide cu p^2.Deci in concluzie relatia este ca p sa divida a+1.