INORDER-TREE-WALK(x) 1ifx≠NIL 2 INORDER-TREE-WALK(x.left) 3 print x.key 4 INORDER-TREE-WALK(x.right) 问题： 这个过程将得到一个binary search tree 中所有元素的按序输出。你能证明吗？ 你能想到几种方法去证明？