Successor(n)

Case I:

Try n=4

right(n) $\neq$ NIL

return(Min(right(n)))

Try n=7

Try n=5