Lemma 22.7:

The map $ L^{\prime}$ preserves Euclidean distance and maps $ \Pi$ to itself.

nisha 2012-03-20