removed sorried out lemma