Si formula_220 es un primo gaussiano entonces formula_224 o formula_225 donde formula_10 es un primo entero.