Riemann's Removable Singularity Theorem