Let n be a positive integer possessing a primitive root. Using this primitive root, prove that the product of all positive integers less than n and relatively prime to n is congruent to -1 modulo n.
(When n is prime, this result is Wilson's Theorem)