Теорема 3.4.2.

L1 L2 y1 y d(E1(y1), E1(y2)) T

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

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

q.e.d.