Exercises $1-5$ contain a while loop and a predicate. In each case show that if the predicate is true before entry to the loop, then it is also true after exit from the loop.

loop:

$)0$ and $m(100$

predicate: $m+n=100$

$2.$ loop:

predicate: $m+n$ is odd