We include the proof for completeness.
For completeness of exposition, we now recall the definition of the ordering on $R$.
Go to the list of words starting with: a b c d e f g h i j k l m n o p q r s t u v w y z