Непосредственное доказательство теоремы 3 приводится в параграфе Различные упражнения гл. 8.