威爾遜定理

威爾遜定理是以英格蘭數學家愛德華 · 華林的學生約翰 · 威爾遜命名的 ， 儘管這對師生都未能給出證明 。 華林於1770年提出該定理 ， 1771年由拉格朗日首次證明 。 在初等數論中 ， 威爾遜定理給出了判定一個自然數是否爲質數的充分必要條件 。 即 ： 當且僅當爲質數時 ：