Cтраница 2
Функции G ( n, x), g ( n x) имеют и другие важные свойства, которые нам не было нужды упоминать до сих пор; они служат для доказательства следующей теоремы. [16]
На принципе математической индукции основан способ доказательства, называемый методом математической индукции. Применим его для доказательства следующей теоремы. [17]
Из теоремы 8.5 следует, конечно, что если у двух законов распределения совпадают характеристические функции, то совпадают и сами законы распределения. Применим этот факт для доказательства следующей теоремы. [18]
Рациональное отображение f не допускает существования инвариантного линейного поля ( No Invariant Linear Field) на своем множестве Жюлиа, за исключением того случая, когда f накрывается интегральным эндоморфизмом тора. Эта гипотеза была необходима для доказательства следующей теоремы Мане-Сада - Сулливана. [19]
Касательная алгебра может быть использована для доказательства следующей теоремы. [20]
Транзитивная замкнутость графа позволяет свести эту задачу к эквивалентной задаче о поиске путей, в которых каждая вершина участвует ровно по разу. Этот набор путей может быть найден в результате решения транспортной задачи на некотором вспомогательном графе. Что это за задача, будет видно из доказательства следующей теоремы, являющейся основной целью нашего рассмотрения. [21]
Отсечения Гомори являются полностью целочисленными неравенствами, если они выражены через исходные небазисные переменные. Таким образом, их можно представить как часть исходной полностью целочисленной матрицы АО, а приведенные выше рассуждения можно использовать для доказательства следующей теоремы. [22]
Теперь мы обратим внимание на некоторые результаты, касающиеся проблемы двух кардиналов, введенной в разд. Напомним также читателю, что кроме ряда результатов из разд. Идея доказательства теоремы 7.2.2 используется для доказательства следующей теоремы Вота; доказательство по существу восходит к Морли. [23]