tal que se cumplan: