Loop Invariants Abbreviate Induction Proofs

See the original posting on Dr Dobbs

It is often possible to avoid difficulties by proving the desired properties of our program by induction.