Z) lemmas