Sentence:  If * * f denotes the space of n times continuously differentiable functions , <WSD>then</WSD> the space V of solutions of this differential equation is a subspace of * * f . 
Meaning of the word marked with <WSD> tags:  in that case or as a consequence