lemma 23, times 2