漏了 “各顶点要么没有子节点，要么正好有 $2$ 个子节点” 这一重要条件。