Lemma k : True.