INTEGERSインテジャーズスマートフォン用の表示で見るINTEGERS数、特に整数に関する記事。二つしか発見されていません:integers.hatenablog.comということは、知られている素数のうち殆ど全ては非Wieferich素数であるということになります。かかわらず、「非Wieferich素数が無数に存在する」ことを数学的に証明しようとすると大変に難しいのです。素数というのは本当に難しい対象です。非Wieferich素数の無限性については次が知られています。ABC予想が正しいと仮定する。このとき、非Wieferich素数は無数に存在する。ABC予想についてはintegers.hatenablog.comを参照してください。ABC予想という大変に難しく、大変に深い事実を用いることによって初めて「絶対に無数に存在するに違いないもの」の無限性を証明できるのです。Wieferch素数が無数に存在するか有限個しか存在しないかについては何一つ分かっていません。成り立つ(合同式は有限個の例外素数を除いて考えられることに注意)。この定理の証明の解説を行うことが今回の記事の目的です。互いに素な整数)と既約分数表示する。次斉次円分多項式とする。INTEGERSを参照のこと。Eulerのトーシェント関数。