Taking n = p-1 in (8.4) gives

which implies (1.15) after summing over each , applying (8.1) and then using Fermat's Theorem and the Von Staudt--Clausen Theorem.
Annotation Form Interface

          Your name: 
     E-Mail address: 
 Annotation Subject: 
        Related URL: