\exists z_0 \in D