# Wilson's Theorem/Corollary 2/Historical Note

Jump to navigation
Jump to search

## 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.

## Sources

- 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$