Letnbe a positive integer possessing a primitive root. Using this primitive root, prove that the product of all positive integers less thannand relatively prime tonis congruent to -1 modulon.

(Whennis prime, this result is Wilson's Theorem)