Si formula_220 es un entero gaussiano tal que formula_132 es un entero primo, entonces formula_220 es un primo gaussiano.