Sentence:  It is clear that each vector in the range of * * f is in * * f for if |a is in the range of * * f , <WSD>then</WSD> * * f and so * * f because * * f is divisible by the minimal polynomial p . 
Meaning of the word marked with <WSD> tags:  in that case or as a consequence