定义 $s[i]$ 为字符串 的第 $i$ 哥字符。如果 $s[i+k]>s[j+k]$，那么 $s[i]$ 到 $s[i+k]$ 任意一个字符开始的循环同构串都不会小于 $s[j]$ 开头的循环同构串，于是 $i=i+k+1$。这是为什么？能不能证明？谢谢