Теорема
3.3.5.
Доказательство:
по Теоремам
3.3.4
и
3.3.3
q.e.d.