Proof: The Converse of Wilson's Theorem