The ideal theorem, and Dedekind zeta functions on the critical line