Sentence:  We can now prove several <WSD>lemmas</WSD> . 
Meaning of the word marked with <WSD> tags:  a subsidiary proposition that is assumed to be true in order to prove another proposition