Wilson's theorem. #
This file contains a proof of Wilson's theorem.
The heavy lifting is mostly done by the previous wilsons_lemma
,
but here we also prove the other logical direction.
This could be generalized to similar results about finite abelian groups.
References #
TODO #
- Move
wilsons_lemma
into this file, and give it a descriptive name.