Cтраница 1
Доказательство достаточности условий теоремы 4.4.7 производим в три шага. [1]
Доказательство достаточности условий теоремы требует более сложных рассуждений. [2]
Доказательство достаточности условия теоремы требует несколько более сложных рассуждений. [3]
Доказательство достаточности условий теоремы требует более сложных рассуждений. [4]
Доказательство достаточности условия теоремы требует несколько более сложных рассуждений. [5]
Доказательство достаточности условий теоремы 1 совсем простое. [6]
Доказательство достаточности условий теоремы 1 проведем сначала в предположении, что матрица S имеет т линейно независимых собственных векторов. [7]
Доказательство достаточности условий теоремы 8.2 показывает, что любой счетно порожденный модуль М над полу - Р1 - коль-цом R является свободным при условии, что М обладает свойством ACCds и любой конечно порожденный подмодуль из М свободен. [8]
Доказательство достаточности условия теоремы будет следствием анализа алгоритма нахождения эйлерова пути, который мы опишем в данном разделе. Отсюда следует, что вершины нечетной степени, если они существуют, являются концами эйлерова пути. Здесь следует отметить, что не существует графов с одной только вершиной нечетной степени. [9]
Доказательство достаточности условий теоремы 4.4.7 производим в три шага. [10]
Доказательство достаточности условия теоремы 4.2 вытекает из следующей теоремы, связанной с возможностью корректного разбиения некоторого множества на пары. [11]
Доказательству достаточности условий теоремы предпошлем следующее предложение, представляющее самостоятельный интерес. [12]
Переходим к доказательству достаточности условий теоремы 3.2.1 для существования односторонне-бесконечной эйлеровой цепи. Граф G имеет, согласно условию р, счетное число ребер. [13]
Теперь можно провести доказательство достаточности условия теоремы 4.2, завершив тем самым доказательство этой теоремы. [14]
Замечание 2.4. В доказательстве достаточности условий теоремы 2.2 ие использовалось условие, что мера ц не является чисто атомической. [15]