Langkah 1. Jarak Euklides \(a\) dari titik asal adalah \(\|a\|=1/\sqrt{2}\text{.}\)

Langkah 2. Gunakan pertidaksamaan segitiga untuk titik \(z\in B(a,1-1/\sqrt{2})\text{.}\)