Problem 2 (12 points) Consider the following program specification: Input: a e Z, bEZ Output: ab-aa.. a i.e., a multiplied b times) and the following implementation: procedure RapidPower(a, b) (1) if b 1 then return a (2) elser- RapidPowerla, Lb/2) (3) if b is odd then return a-r-r (4) else return rr Show that RapidPower correctly implements the program specification by establishing a. partial correctness and b.termination