Wilson theorem
An integer n>1 is prime exactly when (n−1)! is congruent to−1 modulo n.
atlas-wilson-theorem · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
An integer n>1 is prime exactly when (n−1)! is congruent to−1 modulo n.
atlas-wilson-theorem · canonical_mko