Proof Methods

Question 26

Induction is suitable for proving loop invariants because ...