Algorithm Question

For each of the following programs, state and prove a loop measure. If a loop invariant is given, you can use it without proof. (a) [5 marks] 12345678//pre:p,qZwhile((p>4)(q=4)(y5)(y5)xx2yy8elseyy+1