Let n be a positive integer, and let p be a prime number.
Prove that p^p|n! implies p^(p+1)|n! .