alles lemma