Some lemmas on the ordering on words.