Cтраница 1
Конец доказательства не изменяется. [1]
Конец доказательства ведется аналогично концу доказательства теоремы 4.2. Пусть В, С - проходящие через у, z опорные к К гиперплоскости в пространстве aff К. [2]
Конец доказательства остается без изменений. [3]
В конце доказательства это предположение будет снято. [4]
Символом отмечается конец доказательства. [5]
Знаком I отмечен конец доказательства или примера. Если этот знак появляется сразу после утверждения теоремы, предложения или следствия, это подразумевает, что утверждение очевидно. [6]
Знаком П обозначаются концы доказательств. [7]
Знак означает или конец доказательства какого-либо утверждения, или конец рассмотрения примера. [8]
Будем считать до конца доказательства, что если s есть некоторое состояние вычисления nchaseF ( PAD ( d)) и t - строка в s, то DEF ( t) - объединение схем из R. Кроме того, будем считать, что t не содержит помеченных неопределенных значений. [9]
Символ в тексте означает конец доказательства. [10]
Ниже знаком П отмечаются концы доказательств. [11]
Знаком Щ мы отмечаем конец доказательства. [12]
Ri-К - Будем считать до конца доказательства, что если s есть некоторое состояние вычисления nchaseF ( PAD ( d)) и t - строка в s, то DEF ( t) - объединение схем из R. Кроме того, будем считать, что t не содержит помеченных неопределенных значений. [13]
Оценки, проведенные нами в конце доказательства, были довольно-таки грубыми. [14]
Символ р здегл и далее обозначает конец доказательства. [15]