Sentence:  We can now <WSD>prove</WSD> several lemmas . 
Meaning of the word marked with <WSD> tags:  prove formally; demonstrate by a mathematical, formal proof