Sea ahora formula_3 un conjunto arbitrario de índices.