(define sevens
(lambda (n)
(if (= n 0)
'()
(cons 7 (sevens (- n 1))))))
Objective: Prove by induction on n that sevens produces a list
of length n
Base case: When n = 0, the list produced is empty so it has length 0.
Induction Hypothesis: