有理整数环上的素数除了 可分为两类:分别是除以4余1和除以4余3的素数。显然,对于整数环上的任意的素数 , 在高斯整环上可以继续分解的充分必要条件是 其中 为整数。也就是说素数能继续分解的充分必要条件是该素数可以写成两个素数平方和的形式。但注意一个平方数,除以 的余数只能是 或 ,因此除以 余