[lemmas27.png]