Theorem
Suppose we have a metric space Suppose
Suppose
 is a Cauchy sequence in
is a Cauchy sequence in

Define as follows:
as follows: where
where
Then is isometric to
is isometric to
Proof
Suppose
Then
and
Hence is isometric to
is isometric to
Theorem
Suppose we have a metric space Suppose
Suppose
 is a Cauchy sequence in
is a Cauchy sequence in

Define as follows:
as follows: where
where
Then is isometric to
is isometric to
Proof
Suppose
Then
and
Hence is isometric to
is isometric to