Inorder Successor. Exercise 4.6