Sentence:  We shall <WSD>prove</WSD> that * * f . 
Meaning of the word marked with <WSD> tags:  prove formally; demonstrate by a mathematical, formal proof