Lemmas about word casting by equality.