Cтраница 1
Настоящая теорема является, впрочем, почти непосредственным следствием теоремы VII. [1]
Доказательство настоящей теоремы близко доказательству теоремы 9.1, за исключением того, что используются альтернирующие стековые автоматы, а не альтернирующие магазинные автоматы. [2]
Доказательство настоящей теоремы несколько сложнее доказательств теорем задачи а), хотя построено на той же идее. [3]
Доказательство настоящей теоремы несколько сложнее доказательств теорем задач а) и б), хотя построено на той же идее. [4]
Другое следствие настоящей теоремы следующее: Четыре сходящихся в одной точке силы, направленные все по внешним ( или все по внутренним) нормалям к граням тетраэдра, будут находиться в равновесии, если величина каждой силы пропорциональна площади той грани, к которой она нормальна. [5]
При выполнении условий настоящей теоремы формула ( 10), очевидно, остается справедливой. [6]
Следовательно, при условиях настоящей теоремы любая группа элаций О ( Р, L) является элементарной абелевой группой, порядок которой равен простому числу р или его степени. [7]
Из теоремы 3.1 следует заключение настоящей теоремы. [8]
Yi О что противоречит условию 2 настоящей теоремы. [9]
Ввиду аналогии с известной теоремой теории интегральных уравнений настоящую теорему называют альтернативой Фред-гольма. [10]
В силу утверждения ( 3), предшествующего настоящей теореме, с учетом доказательства утверждения 9.4.6 ( с) достаточно показать, что C ( Q) обладает свойством Дьедонне. [11]
Лапласа сохраняют свою асимптотическую форму в максимальных секторах о настоящей теореме являются минимальными. [12]
Замечательно, что все результаты § 7 содержатся в настоящей теореме и ее доказательстве. Это доказательство дает также другую важную информацию. [13]
Необходимо помнить, что только последняя строчка здесь является настоящей теоремой; все остальное - чистая фантазия. [14]
Если точка х - 0 принадлежит множеству POJ т утверждение настоящей теоремы сводится к предыдущей теореме. Поэтому предположим, что точка х 0 принадлежит множеству AQ х: / о ( ж) 0, дополнительному к PQ на неотрицательной части вещественной оси. [15]