only 5

(define (power n) (if (-n 0)1 (* 2 (power ( n 1)))) Consider the predicate P(n): (power n) -2". Prove that Vn 2 0 P(n). Problem 5. (10 points) Consider the following Scheme definition: (define (tower m) (if (-m 0)1 (power (tower(m1) 2 Prove that (tower m) is a "tower of powers" 22 of height m