>>856
それは包含関係が逆じゃないですか？
(2)←イデアルに、(2,1+√-5)･(2,1-√-5)が含まれることは
まさにおっしゃるとおりのやり方でいいです。

が、これら２つが等しいことを言うには逆の包含関係を示したく、
そのために(2)の生成元である2を右辺から具体的に構成してみせる
必要があると思うのです。