How to prove that for prime numbers $p$ and natural numbers $k$, $$p-1 \mid p^k(p-2)+1$$ My initial approach is to check if the numerator is even since the denominator can either be 1 or an even number. Upon inspection, yes. If it is divisible, what could be the form of the divisor... Thanks..