Wilson's Theorem/Corollary 2/Historical Note
Historical Note on Corollary 2 to Wilson's Theorem
This corollary to Wilson's theorem was demonstrated, according to Donald E. Knuth: The Art of Computer Programming: Volume 1: Fundamental Algorithms (3rd ed.), by Ludwig Stickelberger in $1890$.
It is supposed that this appears in Stickelberger's $1890$ article Ueber eine Verallgemeinerung der Kreistheilung (Math. Ann. Vol. 37: pp. 321 – 367) during the course of his proof of Stickelberger's Theorem.
However, not only is the latter behind a paywall, it is also in a language the author of this page is not fluent in, and he has been disinclined to study it.
- 1997: Donald E. Knuth: The Art of Computer Programming: Volume 1: Fundamental Algorithms (3rd ed.) ... (previous) ... (next): $\S 1.2.5$: Permutations and Factorials: Exercise $14$