rt，KMP中要先算出一个border数组，这里记为nxt

有一个结论：集合 $S=\left\{ nxt[i],nxt[nxt[i]]\cdots \right \}$ 包括了所有以 $i$ 结尾的前缀的border

求证这个结论