Теорема 3.4.4.

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

q.e.d.