[lemma F 5 1.gif]