se verifica si v' es el valor de algún nodo del ABB
-- a. Por ejemplo,
--   pertenece 3 (ejemploABB 1)  ==  True
--   pertenece 7 (ejemploABB 1)  ==  False
pertenece :: (Ord a, Show a) => a -> ABB a -> Bool
pertenece _ Vacio         = False
pertenece v' (Nodo v
pertenece :: (Ord a, Show a) => a -> ABB a -> Bool
pertenece _ Vacio         = False
pertenece _ Vacio         = False