(define mod-expt
(lambda (base exponent modulus)
(together-copies-of
(lambda (x y)
(remainder (* x y) modulus))
exponent base)))
Note the similarity to:
(define power
(lambda (base exponent)
(together-copies-of
*
exponent base)))