ｎは自然数です。オイラーは上の形の数は必ず素数になると信じていたとか。しかし後に が示されてしまい、予想は成立しませんでした。これに関しては、次が成立します。 ーーーーーーーーーーーーーーーーー の形の数（ｍは自然数）は、もしも素数であるとす…

今後のこともあるので、ここで合同式についてまとめておきましょう。あの三角形の「合同」ではありません。整数の話です。 ーーーーーーーーーーーーーー ａ≡ｂ（mod m） ⇔ａ，ｂをｍで割った余りが等しい ⇔ａ－ｂがｍで割り切れる ーーーーーーーーーーーー…