Proved slightly stricter lemma