Sean formula_144 y formula_145 enteros de Gauss, formula_146 Entonces, hay enteros de Gauss formula_142 y formula_148 tales que