В инструкции цикла
(Отметьте один правильный вариант ответа.)
Варианты ответа
предложения invariant и variant, задающие инвариант и вариант цикла, факультативны(Верный ответ)
предложение from, задающее инициализацию, факультативно
предложение invariant обязательно, а предложение variant, - факультативно
проверка условия окончания цикла в предложении until выполняется в конце цикла