[lemmas411.png]