可以就看官方解答，写的比较清楚
这个引理好像比较重要，可以记住，看看洛谷题解的思路
说下官方解答最后一段的意思：这么做就可以保证不会因为添加\(a,b,c\)三个字母中的某一个字母而产生回文串，比如添加\(a\)，添加的地方前面是\(c\)（或"a symbol that wasn't used"），而在之前的\(a\)后面是\(b\)，显然不可能是回文串
