Cтраница 3
Полученное противоречие доказывает последнее утверждение теоремы. Аналогично получается следующая теорема. [31]
Приступая к доказательству последнего утверждения теоремы, вначале докажем простую комбинаторную лемму, которая будет полезна не только здесь, но и в других вопросах теории кодирования. [32]
В доказательстве нуждается лишь последнее утверждение теоремы. [33]
Нам осталось доказать лишь последнее утверждение теоремы, относящееся к унитарным полугруппам. [34]
Это вытекает непосредственно из последнего утверждения теоремы 4.7, если выбрать ( х) в качестве данного идеала. [35]
Объединив полученные неравенства, получим последнее утверждение теоремы. [36]
Из оценок (1.6) - (1.8) вытекает последнее утверждение теоремы. [37]
Первоначальный вариант теоремы двойственности Фенхеля не содержит последнего утверждения теоремы 31.1, связанного с полиэдральной выпуклостью. [38]
Докажем, что при этом предположении справедливы оба последних утверждения теоремы. [39]
Сопоставляя формулы (4.13), (4.14) и (4.10), получим последнее утверждение теоремы. [40]
Этим доказана эквивалентность условий ( а) - ( d); последнее утверждение теоремы следует из того, что условие ( d) лево-право симметрично. [41]
Существование и единственность инвариантного fc - мерного подпространства вытекают из леммы 14.4. Последнее утверждение теоремы очевидно. [42]
Если воспользоваться этим обстоятельством и теоремой 1.2, то из (3.16) вытекает последнее утверждение теоремы. Предельный переход под знаком математического ожидания законен в силу равномерной ограни-ченности выражения, стоящего под знаком математиче-ского ожидания. [43]
Характеризация аннулятора разложимого р-вектора, данная в доказательстве утверждения а), доказывает последнее утверждение теоремы. [44]
Этот автоморфизм является, очевидно, продолжением первоначального изоморфизма 6, откуда следует и последнее утверждение теоремы. [45]