不严格证明：若二叉树的中序遍历序列是有序的，则这个二叉树是二叉搜索树