[lemmaF16.png]