Cтраница 4
Вычеркнем два последних предложения в доказательстве теоремы (19.6) и продолжим начиная с этого места. [46]
Объяснение к последнему предложению, добавленному к Замечанию VI в третьем издании, данное ниже, достаточно приемлемо, хотя и не вполне удовлетворительно, и я не смог привести другого более или менее толкового объяснения. [47]
Таким образом, последнее предложение, приведенное в условии, доказано. [48]
![]() |
Последовательность фрагментов в модуле на ПЛ / 1. [49] |
Это должно быть последнее предложение на странице, и оно должно обеспечивать возврат в вызвавший сегмент. [50]
Очевидно, что последнее предложение позволяет Голдшмидту рассуждать индукцией по порядку множества я ( 9) при доказательстве теоремы о разрешимом сигнализаторном функторе. Таким образом, он может предполагать справедливость теоремы для каждого Qq. [51]
Подробные доказательства трех последних предложений предоставим читателю. Следует отдельно рассмотреть случай, когда векторы коллинеарны. [52]