Sentence:  <WSD>Then</WSD> there is a diagonalizable operator D on V and a nilpotent operator N on V such that ( a ) * * f , ( b ) * * f . 
Meaning of the word marked with <WSD> tags:  in that case or as a consequence