Теорема 3.4.3.

где

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

q.e.d.