I think I see what you are saying. The bit about doing induction over F(alpha) and f_1 clarified things! I am not sure D & F state it like this though (I don't have the book here).
And yes, you are right, as far as I can see, we don't need strong induction, f_1 is of degree n-1.
Best,
Ben
Ben