formula_796 tales que para algun vector formula_797 en el conjunto se da que