Sentence:  If * * f , then * * f <WSD>is</WSD> divisible by * * f and so * * f , i.e. , * * f . 
Meaning of the word marked with <WSD> tags:  have the quality of being; (copula, used with an adjective or a predicate noun)