riemann removable singularity theorem