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