Setiap \((x,0)\in Z\) mempunyai bola relatif \(B_A((x,0),\frac12\min\{x,1-x\})\) yang termuat dalam \(Z\text{.}\) Maka \(Z\) terbuka di \(A\text{.}\)