Cartan–Thullen Theorem