Exercise 4.2a(1), p. 92

Objective: Prove that (mod-expt b e m) does at least e multiplications, for e ≥ 0.