Critical Line Theorem

Theorem
There exist an infinite number of nontrivial zeroes of the Riemann $\zeta$ function on the critical line.

Also see

 * Riemann Hypothesis: If this is true, all nontrivial zeroes are on the critical line.