If you use the first edition of the textbook, follow the reading material
in orange. If you use the second edition,
follow the reading material in brown.
pages 266-270 (Section 7.4)
pages 394-398 (Section 9.2)
Proof of Proposition 7.2/Proposition 9.2: PostScript and
Give an AVL tree tree and a key key such that
tree.removeElement(key) needs more than one (single or