Isometry Preserves Sequence Convergence/Proof 1

Proof
Hence, by definition, $\sequence {\map \phi {x_n}}$ converges to $\map \phi p$.