Show by induction that if the invariant holds after the k-th iteration, and execution takes a k+1-st iteration, the invariant still holds (inductive step)

a) True
b) False
c) Cannot be determined from the information given
d) Not applicable