Sentence:  In the notation of the <WSD>proof</WSD> of Theorem 12 , let us take a look at the special case in which the minimal polynomial for T is a product of first degree polynomials , i.e. , the case in which each * * f is of the form * * f . 
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