Regarder comment l'application des règles change la longueur des mots ! Commentaire : il est beaucoup plus difficile, en général, de prouver que deux mots ne peuvent pas être égaux quelle que soit l'ingéniosité avec laquelle on applique les règles, que de prouver que deux mots sont égaux : dans ce cas il suffit de donner la suite de règles à appliquer.