ガウス整数
The residue class ring modulo a Gaussian integer is a field if and only if formula_21 is a Gaussian prime.