Sentence:  Note also that if * * f , <WSD>then</WSD> * * f is divisible by the polynomial p , because * * f contains each * * f as a factor . 
Meaning of the word marked with <WSD> tags:  in that case or as a consequence