Lemma 1
: The map R which is given by
is an
isometry
.
Proof
: Let us compute
|R(x
1
, y
1
), R(x
2
, y
2
)|
= |(x
1
, y
1
), (x
2
, y
2
)|
