A bunch of changes related to Lemma 7 and its consequences