Cтраница 2
МЧ содержит координатное представление доказываемой теоремы вместе с набором подпрограмм, которые дают качественное описание чертежа. [16]
Отсюда легко будет вывести справедливость доказываемой теоремы. [17]
Сформулированное утверждение составляет содержание первой доказываемой теоремы. [18]
Предложение Н представляет собой довольно сложно доказываемую теорему. [19]
Нам нужно доказать, что в условиях доказываемой теоремы оператор В имеет в конусе К не более одной ненулевой неподвижной точки. [20]
Да, нельзя сказать, чтобы посылки доказываемой теоремы были очевидны. [21]
Отметим, что это - частный случай доказываемой теоремы, поскольку лишь идеал К [ Т ] может иметь К [ Т ] в качестве радикала. Теперь подставим везде вместо Го выражение 1 / / ( Г) и затем умножим на достаточно высокую степень / ( Г) г, чтобы устранить знаменатели. В результате получим желаемое соотношение. [22]
Теперь из теоремы 4.8 следует справедливость утверждения доказываемой теоремы. [23]
Но эта формула как раз и выражает доказываемую теорему. [24]
В силу теоремы 8.5, из этого вытекает доказываемая теорема. [25]
Повторяя это рассуждение, легко прийти к утверждению доказываемой теоремы. [26]
Тогда очевидно, что он удовлетворяет условию 1 доказываемой теоремы. [27]
Мне кажется, что после этих пояснений формулировку доказываемой теоремы будет нетрудно запомнить. [28]
Отсюда для рассматриваемых пространств X и У легко вытекает доказываемая теорема. [29]
G /, уже отмеченное в случае 1) доказываемой теоремы. [30]