nashville3751 nashville3751 19-12-2017 Computers and Technology contestada "write down a loop invariant to prove the correctness of this program, and briefly explain why the invariant is correct"