2021-03-24 4で割った余りが1の素数はガウス整数環において素元でない 証明の雰囲気 証明 が素元でないことを示すには、あるが存在して、、、を示せば良い。 のとき、だから※1、あるが存在してとなる。 だから、は素元でない。(証明終) 参考 ※1 TODO 別途証明の記事作成