Cтраница 1
Искомое утверждение А доказано. [1]
Тем самым искомое утверждение доказано. [2]
Отсюда и следует искомое утверждение. [3]
В итоге приходим к искомому утверждению. [4]
Применяя теорему 9.1, получаем искомое утверждение. [5]
Учитывая (1.19), получаем тогда искомое утверждение. [6]
Применяя лемму 2.1, получаем искомое утверждение. [7]
Ему это доказательство кажется тавтологией: искомое утверждение доказывается с помощью аналогичного же утверждения, используемого в классической метаматематике. [8]
Меняя местами s и s, получаем искомое утверждение. [9]
Подставляя эти неравенства неравенства (2.11), получаем искомое утверждение. [10]
Устремляя г - - оо, получим искомое утверждение. [11]
Сравнивая угло-зые коэффициенты прямых ОА и ОЛ2 получим искомое утверждение. [12]
Ясно, что положив В Г, получаем искомое утверждение. [13]
В) dim Im A dim Im B, откуда и следует искомое утверждение. [14]
Нетрудно видеть, что к интегралу (2.12) применима лемма 2.1, из которой сразу получается искомое утверждение. [15]