Question

invariant is the key to construct and to reason about properties of variables at these points​

Answer 1

Explanation:

A good loop invariant should satisfy three properties: Initialization: The loop invariant must be true before the first execution of the loop. Maintenance: If the invariant is true before an iteration of the loop, it should be true also after the iteration.