若二叉树不空，二叉树的中序序列中第一个结点一定是根结点。