proof of riemann hypothesis, math logic