Теорема 3.2.3.

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

q.e.d.