proof by induction, base case

[open grove]

Can you take two n’s as a base case? Up until now I have only been using one n, mostly n=1 . But in this case, de Morgan’s needs to hold true for 1 and 2

[jovial garden]

oh because you use the case "n=2" in the inductive step, right?

So yeah, you need to do it

the induction is the usual, only difference is that the base case is the "n=2" one