Cтраница 3
По индуктивному предположению, в Н имеет место А, Г, - i в - В, причем все переменные фиксированы, а нам надо получить Г, - i в - А: D В также с фиксированными переменными. [31]
По индуктивному предположению, Г, - 1в [ - А ( Ь), причем все переменные остаются фиксированными. Отсюда Г, - ieh - VxA ( x), причем все переменные остаются фиксированными, включая Ь, так как, в силу ограничения на переменные для - V, Г и в не содержат b свободно. [32]
По индуктивному предположению, никакая переменная не входит свободно в секвенции, лежащие ниже уровня g, так что только переменные из t входят в посылку свободно. D есть N; в случае же, если D не есть N, мы подставляем ( вместо 0) какую-нибудь определенную цифру. [33]
По индуктивному предположению все эндоморфизмы модуля коммутируют между собой. [34]
По индуктивному предположению N является односвязным нормальным делителем и G / N односвязна. N и, таким образом, сама односвязна. [35]
По индуктивному предположению граф на рис. 2.32, а или 2.32, б сводим. [36]
Поэтому согласно индуктивному предположению множества G [ p ( A, В) ] и G [ p ( ( A, В), В) ] также содержатся в Я. [37]
Далее срабатывает индуктивное предположение. [38]
В силу индуктивного предположения разложение ( 18) состоит из четного числа г транспозиций. Следовательно, и число s в разложении ( 16) - четное. [39]
В силу индуктивного предположения, граф G - е имеет такую ориентацию, при которой каждая конечная грань содержит в своей границе нечетное число ребер, ориентированных по часовой стрелке. [40]
В силу индуктивного предположения при расписании s к моменту времени t D ( JTiJ) должны быть обслужены требования / i jlt 2 3, Л -, jr и ( в силу допустимостп s относительно G) по крайней мере одно требование первого типа. Общая длительность обслуживания перечисленных требований составляет не менее mr ( r i) / 2 i единицы времени. [41]
В силу индуктивного предположения, если один квантор в 91 входит в область действия другого квантора, то связанные этими кванторами переменные различны. В формулах V 9l и Зл: 91 появляется еще один квантор, в область действия которого входят все остальные кванторы. Но переменная х отличается от всех остальных связанных переменных в этих формулах, так как х в 91 свободна и, следовательно, не совпадает ни с какой связанной переменной. [42]
В силу индуктивного предположения формула да ] регулярна. А тогда ( в силу 5 § 5) и ft / регулярна. [43]
В силу индуктивного предположения дуги е3, е4 относятся к различным множествам. [44]
Тогда по индуктивному предположению ( р - l) R ( p - 1), так что ( р - l) R ( n), и второе утверждение в этом случае выполнено. [45]