x := x0 repeat print(x*c) x +:= e end => invariant t = x*c t:= x0*c t1 := e*c repeat print(t) t +:= t1 end
Click here to continue.