We begin by multiplying the product by
. This gives
Now, rewrite each square as
and for each value of a, distribute a power of -1. Notice that we have
terms in our product. So we need to take a factor of
to accomplish this. This gives
Now for each negative term, we add p to get.
After rearranging the right hand side above, we see that
By Wilson's Theorem and combining the above, we have
and this was what we wanted to show.