Sentence:  It is very easy to establish by <WSD>induction</WSD> on r that if f is in * * f then * * f that is , * * f , etc. . 
Meaning of the word marked with <WSD> tags:  reasoning from detailed facts to general principles