Sentence:  The theorem which we prove <WSD>is</WSD> 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:  have the quality of being; (copula, used with an adjective or a predicate noun)