Remark

If p is not a prime, the statement need not hold.

For example, with n = 3 and p = 4, we have

n^p-1 = 3³ = 3 mod 4.