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: while (m≥0
and
m≤100)
,
m:=m+4 n:=n−2
, end while, predicate: m+n is odd