rt，dp 的路径有可能是一个路径有交叉的多边形，不满足封闭路径的定义，所以需要证明一定存在不交叉的路径的效果等同于某个多边形。或者说封闭路径就允许路径有交叉？如果是的话，那就只考虑这个命题吧。