I think the solution has a problem.
You wrote that :
We have just shown above that if, ...Thus 0 D is inductive
But I think you didn't prove the above clame.
Since the proof you gave only for those W_n which has a predecessor element.
In fact, you can well-order, but can't...