Fermat商とWilson商と呼ばれる対象を以前紹介しました：1093, 3511：ヴィーフェリッヒ素数 - INTEGERS 563：Wilson素数 - INTEGERS実はこれらは次のように密接に結びついています：Lerchの合同式 奇素数に関する合同式が成り立つ。証明. Fermat商の定義より…