I would like to know what is the inductive hypothesis in the proof of the lemma below, which is quoted in the last line of the proof. I didn't understand this last line because I couldn't identify what is the inductive hypothesis in the beginning of the step $2$.
