palindrome2-proof.n3 19.1 KB