Sentence:  Then there <WSD>is</WSD> 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:  have an existence, be extant