Sentence:  Then ( a ) * * f ( b ) each * * f is invariant under T ( c ) if * * f is the operator induced on * * f by T , <WSD>then</WSD> the minimal polynomial for * * f is * * f . 
Meaning of the word marked with <WSD> tags:  in that case or as a consequence