\([1, K], [1, K+1]\) をひっくり返すことで, \(K+1\) 番目の文字を自由に変更することができる. すなわち, \([K+1, N]\) の文字は自由に変更できる. 同様に, \([1, N-K]\) の文字も自由に変更できる.

よって, 自由に変更できない \([N-K+1, K]\) の文字がすべて同じであることが条件になる.