Talk:Longest palindromic subsequence

Any longest common subsequence s of S and its reverse S' is a longest palindromic subsequence of S.

So, I assume that this proves that 12312 is a palindrome, since it's a LCS of 1213212 and 2123121.