remove lemma which was needed only by a bug