Sentence:  In concluding this section , we should like to give an example which illustrates some of the ideas of the primary decomposition <WSD>theorem</WSD> . 
Meaning of the word marked with <WSD> tags:  a proposition deducible from basic postulates