Lemma 2.1 : Fix to use irred predicate in A1