[lemmaF16.gif]