Cтраница 1
Несложное доказательство ( индукцией по длине формулы а) предоставляется читателю. [1]
Несложное доказательство ( 5) на основе теоремы IV, 1 4), проводимое индукцией по длине формулы а, мы здесь опускаем. [2]
Несложное доказательство этого факта предоставляем читателю. [3]
Несложное доказательство этого факта мы предоставим читателю. [4]
Несложное доказательство этого факта приведено в книге Спеньера [ 51, стр. [5]
Несложное доказательство ( индукцией по длине формулы а) предоставляется читателю. [6]
Несложное доказательство теорем 4 1 и 4.2 предоставляется итателю. [7]
Несложное доказательство указанного следствия вполне аналогично изложенному выше доказательству основной теоремы, и поэтому мы его опускаем. [8]
Несложное доказательство нижеследующей теоремы мы опускаем. [9]
Мы опускаем несложное доказательство этой теоремы. [10]
Мы опускаем несложное доказательство возможности такого представления. [11]
Мы оставляем несложное доказательство эквивалентности читателю в качестве упражнения. Используя теорему Фубини, легко показать, что вклад в сумму от интеграла по шару конечен для почти всех х из этого шара. [12]
Это обстоятельство обычно не является стеснительным с точки зрения приложений. Каждая из таких линий разрыва может иметь лишь конечное число участков, параллельных осям координат ( несложное доказательство этого утверждения мы предоставляем читателю), что упрощает последующие рассмотрения, но не существенно для формулировки окончательных результатов. [13]
Код не должен приписывать одно и то же кодовое слово разным словам. Простой способ добиться этого состоит в том, чтобы первые / п столбцов матрицы Е образовывали единичную матрицу. Мы опускаем несложное доказательство. [14]