Sentence:  We shall show that the polynomials * * f behave in the manner described in the first paragraph of the <WSD>proof</WSD> . 
Meaning of the word marked with <WSD> tags:  a formal series of statements showing that if one thing is true something else necessarily follows from it