The Perfect Number Theorem and Wilson's Theorem
The Perfect Number Theorem and Wilson's Theorem
The Perfect Number Theorem and Wilson's TheoremThis article formalizes proofs of some elementary theorems of number theory (see [1, 26]): Wilson's theorem (that n is prime iff n > 1 and (n - 1)! ≅ -1 (mod n)), that all primes (1 mod 4) equal the sum of two squares, …