See Problem 3.6
exr:recmult-program
