[zh-cn | AVL] Proof of AVL balance