Como 2 está en formula_270 se debe cumplir que formula_271 lo que implica que el grado de formula_76 es cero y, por lo tanto, que es un elemento de formula_273 Luego, formula_76 debe ser una unidad, o sea 1 o formula_275 o un asociado de formula_276 o sea 2 o formula_277