Definition:Nontrivial Zero of Riemann Zeta Function