Ambil lingkungan sebarang \(V\) bagi \(f(x)\text{.}\) Prapetanya adalah lingkungan bagi \(x\text{;}\) gunakan sifat titik limit, kemudian gunakan keinjektifan \(f\) untuk mempertahankan ketaksamaan titik.