finished proof of Lemma 23, times 1