Sentence:  Since * * f are distinct prime polynomials , the polynomials * * f are relatively prime ( <WSD>Theorem</WSD> 8 , Chapter 4 ) . 
Meaning of the word marked with <WSD> tags:  a proposition deducible from basic postulates