Proof: Still by (30), we have
(pa)≡a2p−1=a12p−1a22p−1⋯an2p−1≡(pa1)(pa1)⋯(pan)(modp)
Thus, we get (pa)−(pa1)(pa2)…(pan)≡0(modp), but it is easy to see that
(pa)−(pa1)(pa2)…(pan)⩽2,
and p⩾3, so it must be that
(pa)=(pa1)(pa2)…(pap),
which is the result we wanted to prove.