[Jensson]

You need to do it because you prove the statements separately. Currently the inductive step statement is false, it says that applies for all sets. It doesn't.

Note that you can use false intermediate steps like that and still reach a correct conclusion. Then the conclusion is correct but the proof is still wrong since the steps you used were wrong.