I am struggling with the very last line of this proof:

I mean, where does he get the existence of $z_1$ from?, and all the info about it?
I am struggling with the very last line of this proof:

I mean, where does he get the existence of $z_1$ from?, and all the info about it?
Copyright © 2021 JogjaFile Inc.
If $z \not \in \overline{B}$ then there is an open neighbourhood of $z$ disjoint from $B$, $z_1$ is then some element of this nbd, larger than $z$ and smaller than $y$.