ignore a). ...solve b c d asap plz :( all appreciated

please only solve b) c) and d)

Exercise 5.4. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements. a :=m; b:=m; C:=0; while b>0 do if 2b then a:=2a; 66 CHAPTER 5. POLYNOMIALS b:=b/2; else C:= c+a; 6:6-1; fi: od; (a) Prove that ab + c = mn is a loop invariant for W. b odd separately.) (6) Why must w terminate? Why must b= 0 on this termination? (c) Show that on the termination of W, we have that c = mn. (d) Is this approach to computing mn faster or slower than the approach in the previous problem? Justify your