Обсуждение:Инвариант цикла