Cтраница 2
Для завершения доказательства теоремы достаточно проверить, что предположения леммы выполняются в каждом из четырех случаев. [16]
Для завершения доказательства теоремы 5.1 остается лишь проверить, что многообразие FQ па-раллелизуемо. Но FQ вложено в сферу S8 и, следовательно, вложено в координатное пространство Cn i с тривиальным нормальным расслоением. [17]
Для завершения доказательства теоремы остается показать, что фактор-группа Ф / j является нильпотент-ной группой без кручения конечного ранга. Этот последний факт вытекает из следующего предложения. [18]
Для завершения доказательства теоремы достаточно показать, что если диаграм. [19]
Для завершения доказательства теоремы о неподвижной точке осталось проверить, что указанные два свойства отношения эквивалентности несовместны. Рассмотрим функцию t ( x) h ( g ( x)), где h - вычислимая всюду определенная функция, не имеющая - неподвижной точки. [20]
Для завершения доказательства теоремы нам остается показать, что категория о2 о прямыми произведениями. [21]
Для завершения доказательства теоремы достаточно показать, что существуют W и В, удовлетворяющие перечисленным свойствам. Единственность В, реализующего максимум в (3.21), очевидна в силу выпуклости. [22]
Для завершения доказательства теоремы остается вспомнить, что еще в § 3 было показано, что формула (6.5) с постоянными изометрическими Е дает описание всех канонических ( Г; / - функций. [23]
Для завершения доказательства теоремы остается показать, что ( l) Y ( z) / X ( z) S ( E), после чего можно будет воспользоваться утверждением леммы. [24]
Для завершения доказательства теоремы достаточно показать, что если диаграмма для ао бесконечна, то х0 не является тавтологией. [25]
Для завершения доказательства теоремы остается показать, что всякий самосопряженный оператор А1, удовлетворяющий усло вию (2.14), есть расширение оператора А. [26]
Для завершения доказательства теоремы остается показать, что функция / ( х) допустима. [27]
Для завершения доказательства теоремы осталось показать, что возможен случай, когда каждая из пары двойственных задач не имеет допустимых решений. Предоставляем читателю возможность самому построить пример такой пары задач. [28]
Для завершения доказательства теоремы остается учесть случай, когда заряды распределены непрерывно с объемной плотностью, зависящей от координат. [29]
Для завершения доказательства теоремы необходимо проверить лемму. [30]