Sentence:  In other words , if f satisfies the differential equation * * f , <WSD>then</WSD> f is uniquely expressible in the form * * f where * * f satisfies the differential equation * * f . 
Meaning of the word marked with <WSD> tags:  in that case or as a consequence