Теорема 4.2.1.

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

q.e.d.