大きくなるにつれて計算量が膨大になるため、素数かどうかを判定するために用いるには実用的ではない。外部リンク歴史[編集]この定理は、10世紀のペルシャの数学者イブン・アル・ハイサム(アルハゼン)によって最初に発見された[1]。ヨーロッパでは長いこと知られず、イギリスのエドワード・ウェアリングの弟子だったジョン・ウィルソンによって発見され、1770年にウェアリングによって公表され、「ウィルソンの定理」の名がついた[2][3]。ウェアリングもウィルソンもこの定理の証明はできず、1773年にラグランジュが最初の証明をした[2]。ゴットフリート・ライプニッツがその一世紀前に結果に気がついていたという証拠があるが、ライプニッツはそれを公表しなかった[2]。階乗と剰余の例をあげる。合成数の場合は背景色をグリーンにして表示する。