6.7.2 Theory of algorithms and formal languages

Problem: Check whether the word abababa is a theorem in palindrome calculus.