2 Proof by Induction Consider the following recursive algorithm powerset: Algorithm powerset(A): If A return s0) else do { A, set A, :-A \ {a), set P :-powerset(A') pick a let N0 for all Se P do add S SU[a) as an element to set N, i.e. let N: Nu(S' return PUN Use induction to prove that for all sets A, algorithm powerset (A) returns the powerset of A, i.e. the set of all subsets of A. Decide on the natural induction parameter n which you need to use, and on the predicate P(n) which you need to prove. (Recall that induction can be used only to prove statements of the form "P(n) for all integers n for some predicate P(n).)