Midterm:

 Total mark is: 30

 (a)10
    
    Precondition (2,2), postcondition (2,2,2)

 (b)10

    loop invariant: 2 (1,1)
    base case:  2
    IS: 6

  (c)10
     key words: 1) we have the loop invariant: x=(q*y)+r and r>=0

               2) since the loop ends when it is no longer  true that
y<=r or it is true that r<y.