我的思路和这篇题解一样。

但是我不知道如何证明一次循环（指所有牌按照要求进行若干次回到初始状态的次数）的转换次数为什么一定小于序列长度（或者是稍微大一点但是复杂度是真的）。

求证，谢谢。