lemmas.v 37 KB