RT，策神的字符串ppt中的第28页有一个这样的引理

引理: 如果s是一个双回文串, 则存在一种回文拆分s=ab，使得a是s的最长回文前缀，或者b是s的最长回文后缀

请问是否有大佬能给出证明