Инвариант цикла

Инвариант цикла — это утверждение, которое истинно перед началом цикла и остается истинным после каждой итерации.