Entonces formula_1 es feliz si y sólo si existe "i" de tal modo que formula_8.