 v a &&
                      menorTodos v b &&
                      valido a &&
                      valido b

valido (Nodo v a b) = mayorTodos v a &&
                      menorTodos v b &&
                      valido a &&
                      valido b
valido (Nodo v a b) = mayorTodos v a &&
                      menorTodos v b &&
                      valido a &&
                      valido b