Exercise 1.17 (Multiplication like original fast-exp)