two more lemmas