realizada sobre todos los "I" ideales del anillo de los enteros formula_4 de "K", con formula_5.