Proof of the converse of Wilson's theorem
Proof
We argue by contradiction.
- Let be an integer with . Suppose that is not a prime number.
- Since is not prime, has a positive divisor other than and . So .
- Since , the number is one of the factors of . So divides .
- By the definition of congruence, divides . Since , also divides .
- By steps 3 and 4, divides .
- This is impossible, since . So is prime.
Idea
A proper divisor of appears as a factor in . It also divides , so it would divide , which cannot happen.
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Divisibility definition
- Congruence modulo n definition
- Prime number definition
- Proof of the converse of Wilson's theorem proof
Where this leads
1 page builds on this one.
Further reading
- Web https://en.wikipedia.org/wiki/Wilson%27s_theorem, Composite modulus
About this page
| Tag | T7F6HM7GN0 |
|---|---|
| URI | m2://T7F6HM7GN0 |
| Kind | proof |
| Writing | W0 stub |
| MSC | 11A51 |
| Proves | Converse of Wilson's theorem |
| Uses | Prime number, Congruence modulo n, Divisibility |
| Methods | Proof by contradiction |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.