若通路存在,那么这两点之间一定存在一条长度不大于 n-1 的通路

证明 通路的长度为序列中的节点数减 1,如果结点有重复,那么就把这段去掉,那么最后得到的序列一定节点数最多为 n


推论:

(基本)回路存在长度不大于 n