Sea formula_55 un elemento no nulo de formula_14 Las siguientes propiedades son equivalentes: