(5 points). Using the invariant, prove the correctness of Do-Math(). Don't forget to use the loop test condition. (adio ) (5 points). Using the invariant, prove the correctness of Do-Math(). Don't forget to use the loop test condition. (adio )