二叉树为二叉排序树的充分必要条件是其任一个结点的值均大于其左孩子的值