(e) formula_58 si y solo si existe un término formula_28 tal que formula_60.