Sentence:  It is very easy to establish by induction on r that if f is in * * f <WSD>then</WSD> * * f that is , * * f , etc. . 
Meaning of the word marked with <WSD> tags:  in that case or as a consequence