Sentence:  The <WSD>theorem</WSD> which we prove is more general than what we have described , since it works with the primary decomposition of the minimal polynomial , whether or not the primes which enter are all of first degree . 
Meaning of the word marked with <WSD> tags:  a proposition deducible from basic postulates