Bloch's theorem

In complex analysis, Bloch's theorem guarantees the existence of a nontrivial disk on which a nonconstant holomorphic function admits a holomorphic inverse, a result that is essential for understanding local injectivity.