Теорема 3.3.6.

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

т.к.

что дает доказательство для возможностей. А для необходимостей требуемый результат дает:

q.e.d.