Given: 
(define (power b n)
   (cond ((= n 0) 1)
         ((even? n) (power (square b) (/ n 2))
         (else (* b (power b (- n 1))))))
The term used to describe the first line in the cond