Let $\zeta : \mathbb{C} \to \mathbb{C}$ be a D113: Riemann zeta function.

Then \begin{equation} \forall \, z \in \mathbb{C} \left( \zeta(z) = 0 \text{ and } z \not\in \{ - 2, -4, -6, \ldots \} \quad \implies \quad \Re(z) = \frac{1}{2} \right) \end{equation}