5. Prove the correctness of the division algorithm. Require: a is a nonnegative integer, d is a positive integer, r = a, q = 0 1: while r > d do 2: r-r-d 3: q+q+1 4: end while Ensure: q andr are nonnegative integers such that a = qd+r and 0