一棵非空的二叉树的先序序列和后序序列正好相同，则该二叉树一定满足（）