Added palindrome proof from Proposition chapter