感觉不是很理解几篇题解的严谨性

AB和BA这样的对可以说明必要，但可以说明充分嘛?

换句话说，怎么说明除了单子树没有可能形成这样的点对，比如说在叶子节点的时候如何说明？