Теоремой, на которой базируется схема проектирования цикла при помощи инварианта, является утверждение, которое:
(Отметьте один правильный вариант ответа.)
Варианты ответа
необходимо доказывать
не существует
принимается без доказательства(Верный ответ)