Sentence:  This reduction has been accomplished by the general methods of linear algebra , i.e. , by the primary decomposition <WSD>theorem</WSD> . 
Meaning of the word marked with <WSD> tags:  a proposition deducible from basic postulates