changed to lemma 4 5 mergerd with master