Untuk semua \(f,g\in X\text{,}\) berlaku \(|I(f)-I(g)|\leq d^*(f,g)\text{.}\) Karena itu pilihan \(\delta=\epsilon\) membuktikan bahwa \(I\) kontinu di setiap \(f\in X\text{.}\)