Answer
Recursive algorithm for multiplying two nonnegative
integers x and y based on the fact Given in question.
Work Step by Step
--procedure multiply(x, y: nonnegative integers)
-if y = 0 then return 0
-else if y is even then
-return 2 · multiply (x, y/2)
-else
-return 2 · multiply (x, (y−1)/2) + x