本文中に6=2･3=(1+5i)(1-5i)とありますが、この右辺は(1+√5i)(1-√5i)では無いでしょうか？

a+bi(a､bは整数)という形の複素数(複素整数)につきましては、素因数分解の一意性は成り立ちます。

ところがa+√-5b(a，bは整数)という形の複素数では素因数分解の一意性が成り立たないというのは面白いですよね。