若一棵非空的二叉树的先序遍历序列与后序遍历序列正好相反，则该二叉树一定满足（）