Cтраница 1
Достаточность будет установлена, если будет показано, что в том случае, когда % - пространство Фреше - Урысона, всякое MS-малое отображение является и МВ-малнм. [1]
Достаточность в теореме 3 доказана. [2]
Достаточность может быть проще всего получена так. [3]
Достаточность вытекает из 18.1. Проверим необходимость. [4]
Достаточность легко выводится непосредственной проверкой. [5]
Достаточность сразу следует из следствия 1.1.3 и пятого утверждения предыдущей теоремы. [6]
Достаточность будет установлена, если показать, что выполняются условия теоремы А. Главное - доказать, что 3) ( И) можно расширить до 3) m ( U) для некоторого конечного т, не нарушая при этом ограниченности множеств. Так как задача имеет локальный характер, доказательство для случая QRn типично. [7]
Достаточность этого условия вытекает из теоремы Кантора. [8]
Достаточность вытекает из следующего факта. [9]
Достаточность в теореме 2.1 для случая п 1 является следствием критерия Понтрягина-Куратовского планарности графов. [10]
Достаточность непосредственно следует из предложения 3.18 и определения однотипности булевых функций. [11]
Достаточность следует из теоремы 3.24 и определения однотипности. [12]
Достаточность очевидна, поскольку каждый шаг редукции сохраняет истинность. [13]
Достаточность следует из того, что все шаги редукции сохраняют истинность. [14]
Достаточность следует непосредственно из. [15]