Теорема 3.3.5.

Доказательство:

по Теоремам 3.3.4 и 3.3.3

q.e.d.