 Riemann removable singularity theorem

A holomorphic function bounded on a punctured neighbourhood extends holomorphically across the puncture.

This criterion characterizes a removable singularity of a holomorphic function; the criterion is a theorem about the singularity type.