Ключевая фраза: ИНВАРИАНТ ЦИКЛА