Sentence:  But <WSD>then</WSD> it is immediate that * * f , i.e. , that |a is in the range of * * f . 
Meaning of the word marked with <WSD> tags:  in that case or as a consequence