Donde formula_6 es la norma de "I" (al cuerpo racional Q): es igual a la cardinalidad de "O"/"I",