Sea formula_156 un entero gaussiano cuya norma es igual a 1.