有大佬可以证明一下这题反向拓扑的正确性吗？感觉题解的证明都有点问题qwq