Llamaremos índice de formula_2 en formula_1 al cardinal formula_71.