Cтраница 3
Следующее утверждение доставляет нам важные примеры стационарных множеств. [31]
Следующее утверждение показывает, что это наилучшая из возможных гипотез. [32]
Следующие утверждения эквивалентны: ( i) каждый конечномерный U - модуль вполне приводим ] ( ii) каждый конечномерный К - модуль старшего веса неприводим. [33]
Следующее утверждение представлено в более неопределенных терминах. JB, то их орбиты должны трансверсально отделяться. [34]
Следующее утверждение является непосредственным следствием определений. [35]
Следующее утверждение играет ключевую роль в дальнейшем. [36]
Следующее утверждение дает пример системы уравнений, для которой в случае разрешимости можно выписать формулу, задающую общее решение. [37]
Следующие утверждения получаются сразу же. Если G моно-генна, то А упорядочена. Грамматика G без зацикливания тогда и только тогда, когда для каждого объекта 6 из А ( 9, Э) состоит из одного тождества. В общем случае А не имеет терминальных объектов. [38]
Следующее утверждение касается сравнения базисов. [39]
Следующее утверждение является очевидным свойством ассоциативных функций. [40]
Следующее утверждение суммирует ряд свойств векторного произведения. [41]
Следующее утверждение обеспечивает свойство гу / - семантики, полезное для определения теории и процедуры доказательства. [42]
Следующее утверждение показывает, что в ряде случаев эти условия являются и необходимыми. [43]
Следующее утверждение вытекает непосредственно из определений. [44]
Следующее утверждение принадлежит К - Шеннону. [45]