有没有“若一个点是终止节点，则它的子树全部都是终止节点。”的性质？

为什么？