use a loop invariant to prove that the following algorithm converts the positive binary integer, which is stored in the array b, to decimal. for example, the binary integer 10011, which is 19 in decimal, is stored as b[1]