[lemma F 9[5].gif]