とすると,
であり,
である。
をみたすような
が存在したとすれば,ある
があって,
となってなくてはいけないが,左辺は偶数,右辺は
の元で奇数であるから矛盾する。したがって,
は単数ではない。同様に
についても単数でないことがわかる。また,
であるから,
である。したがって,
であり,
であるから,
は単数である。
であり,
であるから,
も
も単数である。また,
となるような
が存在したとすると,
があって
となっていなくてはいけない。ところが,右辺は
のベキであるから,
を素因数として含まないので矛盾する。したがって,
に逆元はない。
任意の
に対して,
であるから,
である。また,任意の
に対して,
であるから,
である。以上から,
また,
とし,
とする。このとき,
であるから, 7 は素数より
または
である。したがって,
または,
である。また,
であることは容易にわかるから,
は
の真のイデアルである。以上から
は素イデアルである。