というのも GaussInt が EuclideanRing であるのも、R == Int であることをかなり強く使うので…

3:11 PM

もしかしたら統一的な一般論があるのかもしれませんが、僕は知らないです