Consideremos el ideal generado por formula_94 y formula_176 Como los ideales de formula_22 son principales, hay un entero positivo formula_178 tal que formula_179 .