[lemma F 5 2[14].gif]