loop invariant, invariante do loop

Ver iterative statement (instrução iterativa).
+
..
../..