Fungsi \(f\) bijektif dan mempertahankan jarak. Inversnya mengirim \((u_1,\ldots,u_m)\) ke barisan \((u_1,\ldots,u_m,0,0,\ldots)\text{.}\)