Теорема 3.4.2.

L¹ L² y¹ y²  d(E¹(y¹), E¹(y²)) T

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

по Теореме 3.2.1. Аналогично доказывается, что

q.e.d.