Recall:
(define mod-expt
(lambda (base exponent modulus)
(if (= exponent 1)
base
(mod*
(mod-expt base (- exponent 1) modulus)
base))))
where
(define mod*
(lambda (x y)
(remainder (* x y) modulus)))