Sentence:  If * * f , <WSD>then</WSD> * * f is divisible by * * f and so * * f , i.e. , * * f . 
Meaning of the word marked with <WSD> tags:  in that case or as a consequence