IMC 1999 · Problem 5
Statement
Let be the set of all words consisting of the letters , , , and consider an equivalence relation on satisfying the following conditions: for arbitrary words
(i) ;
(ii) if , then and .
Show that every word in is equivalent to a word of length at most .