Cтраница 2
Отсюда и вытекает доказываемое утверждение. [16]
Отсюда непосредственно вытекает доказываемое утверждение. [17]
Значит, необходимость доказываемого утверждения очевидна. [18]
Предположим теперь, что доказываемое утверждение справедливо для любого построения, осуществляемого за п - 1 шагов, и пусть элемент т строится, исходя из совокупности М, за п шагов. Обозначим через т элемент, добавляемый к М, на первом шаге - построения. Так как К, гз Р, то все элементы совокупности М М ] т определены над / С. Элемент m строится, исходя из совокупности M t уже за га - 1 шагов, и по индуктивному предположению он определен над некоторым допустимым расширением L поля К. [19]
Из произвольности 5 вытекает доказываемое утверждение. [20]
Из этого и вытекает доказываемое утверждение. [21]
Из противоречия вытекает справедливость доказываемого утверждения. [22]
Применяя теорему Ляпунова, получаем доказываемое утверждение. [23]
Из этой леммы сразу следует доказываемое утверждение. [24]
Для первого элемента схемы Sp доказываемое утверждение устанавливается просто. [25]
Зе, а это эквивалентно доказываемому утверждению. [26]
Отсюда и из теоремы 18 следует доказываемое утверждение. [27]
Другой важной технической деталью является легко доказываемое утверждение, что если с 2 и изображающая точка вышла в процессе итераций за границы круга радиуса 2, то затем она уже достаточно быстро уходит на бесконечность. [28]
Ввиду произвольности числа е отсюда вытекает доказываемое утверждение. [29]
По предположению индукции отсюда и следует доказываемое утверждение. [30]