Si el valor de esta función es 0, formula_1 no pertenece a formula_2.