s un ABB correcto. Por ejemplo,
--    valido (ejemploABB 1) == True
valido :: (Ord a, Show a) => ABB a -> Bool
valido Vacio        = True
valido (Nodo v a b) = mayorTodo
valido :: (Ord a, Show a) => ABB a -> Bool
valido Vacio        = True
valido Vacio        = True