bugfix in LA-Lemma, tautologies