Closed last gap in intersection lemma proof