Factoring p^2-1 into (p+1)(p-1) when you're trying to prove something about the factors of p^2 - 1 isn't exactly magic either. The entire proof is a pretty easy exercise. The only hard step is "stop reading and think for a moment".