Sentence:  The theorem which we <WSD>prove</WSD> 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:  prove formally; demonstrate by a mathematical, formal proof