1-7.[3] prove the correctness of the following recursive algorithm to multiply two natural numbers, for all integer constants c ≥ 2.function multiply(y, z)comment return the product yz.1. if z = 0 then return(0) else2. return(multiply(cy,⌊z/c⌋) + y • (z mod c))

Ask your question to the AI advisor

Ai-bot is an expert in any field and is the perfect companion for reliable and useful answers and advice on a variety of topics, including science, history, technology, art, sports, health, culture and more.