i d) | v == v'   = True
                          | v' < v    = pertenece v' i
                          | otherwise = pertenece v' d

-- (inserta v a) es
pertenece v' (Nodo v i d) | v == v'   = True
                          | v' < v    = pertenece v' i
                          | otherwise = pertenece v' d
pertenece v' (Nodo v i d) | v == v'   = True
                          | v' < v    = pertenece v' i
                          | otherwise = pertenece v' d