Выдержка из книги
Марчук Г.И.
Математическое моделирование химических реакторов
Пусть выполнены предположения теоремы 1 и леммы 5, тогда между решением задачи ( 20), ( 2), ( 9) и решением системы уравнений, полученной из ( 16), ( 17) путем замены Q на Q u F на F, существует взаимно однозначное соответствие, и из однозначной разрешимости одной из них следует однозначная разрешимость другой.