証明の方針 直接法で示す。 証明 aを奇素数として、 a≡ー１ mod ４ が成り立っているとすると、 2a＋a^3≡１ mod ４ となる。ここで左辺は４ｎ＋１の形であるから、また４ｎ－１の形の素因数を含むので、aではない別の４ｎ－１の素因数を含む。それをｂとして…