existe al menos un elemento formula_9 de formula_2 que pertenece a formula_4: