Entonces, formula_12 no pertenece a formula_13, y por tanto pertenece a formula_4.