如果满足两个条件，字符串 $s$ 就会被称为 $k$ proper：

• $s1=s2=…=sk$;
• $si+k \neq si$ 为任意 （$1 \leqslant i \leqslant n−k$）。

中$si+k$，CodeForces原题面为$s_i+k$，洛谷翻译明显有误。