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