Теорема 3.3.2.

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

q.e.d.