και
μπορείτε να μετατρέψετε τη συμβολοσειρά
στη συμβολοσειρά
? (οι αντικαταστάσεις
και
είναι προφανώς αμφίδρομες.)(Μείωσα τον αριθμό των a και b κατά ένα στην αρχική και τελική λέξη.Αν κάποιος έχει ήδη την απάντηση για πέντε a και b ας την ανεβάσει.)
και 
και 


;

, μπορούμε να μετατρέψουμε τη συμβολοσειρά
σε
;
είναι αντίστοιχα η στροφή και η ανάκλαση της διεδρικής ομάδας
, τότε πράγματι ικανοποιούνται
σε
. Οπότε, η μετατροπή είναι αδύνατη.