Теорема 3.3.3.

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

q.e.d.