AL

AN Lemma