alice lemma