[lemma 8[3].gif]