Recordemos que llamamos norma del entero gaussiano formula_131 al número entero denotado formula_132 y definido como formula_133