LEMMA DEFINITION LATEX