Which of the following statement is true?

Question $9$ options:

None of the statement is true.

Ensure that a loop correctly accomplishes its intended purpose and that it terminates properly.

It is a logical statement that assists in understanding and proving the incorrectness of a loop.

A loop invariant is a condition that holds not true before and after each iteration of a loop in a computer program.