cse373-lecture07-sp07

AVL Proof: