Теорема 3.4.1.

где

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

q.e.d.