proof of lemma 23, times 3