Fermat's theorem
If p-1 does not divide 2n then after Fermat's theorem one has,