INTEGERS

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