为什么对于排序合理性的证明没有引入树上的金币掉光的情况。