Math 2.0

Number theory Proof

Proof of the converse of Wilson's theorem

Builds on Prime numberCongruence modulo nDivisibility

Proof

We argue by contradiction.

  1. Let n>1n > 1 be an integer with (n−1)!≡−1(modn)(n - 1)! \equiv -1 \pmod n. Suppose that nn is not a prime number.
  2. Since n>1n > 1 is not prime, nn has a positive divisor aa other than 11 and nn. So 1<a<n1 < a < n.
  3. Since 1<a≤n−11 < a \le n - 1, the number aa is one of the factors of (n−1)!=1⋅2⋯(n−1)(n - 1)! = 1 \cdot 2 \cdots (n - 1). So aa divides (n−1)!(n - 1)!.
  4. By the definition of congruence, nn divides (n−1)!−(−1)=(n−1)!+1(n - 1)! - (-1) = (n - 1)! + 1. Since a∣na \mid n, also aa divides (n−1)!+1(n - 1)! + 1.
  5. By steps 3 and 4, aa divides ((n−1)!+1)−(n−1)!=1\big( (n - 1)! + 1 \big) - (n - 1)! = 1.
  6. This is impossible, since a>1a > 1. So nn is prime.

Idea

A proper divisor aa of nn appears as a factor in (n−1)!(n - 1)!. It also divides (n−1)!+1(n - 1)! + 1, so it would divide 11, 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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Divisibility definition
  2. Congruence modulo n definition
  3. Prime number definition
  4. Proof of the converse of Wilson's theorem proof

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Wilson%27s_theorem, Composite modulus
About this page
TagT7F6HM7GN0
URIm2://T7F6HM7GN0
Kindproof
WritingW0 stub
MSC11A51
ProvesConverse of Wilson's theorem
UsesPrime number, Congruence modulo n, Divisibility
MethodsProof by contradiction
Changed4 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.