>>268
ならいい。その場合は1+2iも素元だから、そのままでも素元分解されている。

ただし、どの環での話をするかによってそれが素元かどうかもかわるし、
そもそも素元分解可能かどうか、可能な場合一意かどうかもかわる
ということは理解したうえで環とセットにして言え。