Sentence:  By <WSD>Theorem</WSD> 10 , D is a diagonalizable operator which we shall call the diagonalizable part of T . 
Meaning of the word marked with <WSD> tags:  a proposition deducible from basic postulates