Каждый цикл
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
имеет единственный инвариант
имеет множество инвариантов(Верный ответ)
имеет инвариант, позволяющий доказать его корректность(Верный ответ)
имеет инвариант, позволяющий доказать завершаемость цикла