ジョン・ウィルソン
10世紀のイブン・アル・ハイサムは偶数の完全数（その数自身を除く約数の和がその数自身と等しいもの）を世界で初めて分類しようと試みたと見られ、formula_5 が素数のとき、formula_6 が完全数となることを発見した。またアル・ハイサムはウィルソンの定理を最初に発見した。これは、"p" が素数ならば formula_7 が "p" で割り切れるという定理である。彼がこの定理の証明を知っていたかどうかは不明である。ウィルソンの定理という名称は、エドワード・ウェアリングが1770年にジョン・ウィルソンがこの定理に気づいたと記したことに由来する。ウィルソンも証明を知っていた証拠はなく、ウェアリングも確実に証明法を知らなかった。この定理を証明したのはラグランジュで、1773年のことである。