Proving Riemann sure would clean up a lot of contingent/dependent number theory.