Consider the free non-abelian group on the twenty-six letters of the alphabet with all relations of the form <word1> = <word2>, where <word1> and <word2> are homophones (i.e. they sound alike but are spelled differently). Show that every letter is trivial.
For example, be = bee, so e is trivial.