got rid of old lemma 1