数据结构中证明完全二叉树的子树也是完全二叉树

问题遇到的现象和发生背景

这个证明里的这句话：类似的，如果在S中存在不位于底层上结点层，那么，该层也不位于T的底层上，它必须在T中所有底层叶子结点的右边，因此它也必须在S中所有底层叶子结点的右边。从而得到S是完全二叉树。怎么理解的，

遇到的现象和发生背景，请写出第一个错误信息

用代码块功能插入代码，请勿粘贴截图。 不用代码块回答率下降 50%

运行结果及详细报错内容

我的解答思路和尝试过的方法，不写自己思路的，回答率下降 60%

我想要达到的结果，如果你需要快速回答，请尝试 “付费悬赏”

还请参考下面的解释，觉得还可以，还请采纳：
完全二叉树的定义是：除了最后一层，其它每一层的结点数都达到最大，且最后一层的结点都靠左对齐。

这种定义意味着，如果一棵二叉树是完全二叉树，那么它的子树也是完全二叉树。

证明这一点，我们需要考虑以下两点：

1、子树的结点数是小于等于完全二叉树的结点数。
2、子树的最后一层结点靠左对齐。
第一点说明，子树不可能比完全二叉树更多的结点数。
第二点说明，如果完全二叉树的最后一层结点都靠左对齐，那么它的子树的最后一层结点也一定靠左对齐。
因此，我们可以得出，如果一棵二叉树是完全二叉树，那么它的子树也是完全二叉树。

在s中不位于底层，在t中肯定也不位于底层，这就是句正确的废话
s是t的子集，在s中不位于底层而在t中位于底层，说明s比t还深，那怎么可能呢
至于说它一定是位于所有底层的右边，这就要从完全二叉树的定义入手
左枝的节点层数不可以比右枝多，那么底层肯定是在左边
这段话绕来绕去的，根本没有把问题说清楚
其实按照完全二叉树的定义，它必然是每个分支都满足完全二叉树的定义，它整体才是一个完全二叉树，那它的子树当然就是完全二叉树
因为任何一个子树不是完全二叉树，整体就不满足定义了
完全二叉树里的完全二字，就已经限定了它必定是个分形结构，每个分形都满足相同的定义