repeatedly-square Again

   (define repeatedly-square	
     (lambda (b n)		
       (if (= n 0)
           b			
           (square (repeatedly-square b (- n 1))))))
Q: What kind of process does this procedure generate, and why?