求助：

如何使用数学归纳法证明在残留网络中始终可以维护一个合理的路径的集合，使得纠正过去路径错误的时候仍能保留先前寻找的路径能通过，直到在残留网络中找不到路径为止。

其他方式也可。