The theorem that if a function of a complex variable is analytic at a point inside a simply connected domain, and can be uniquely extended to an analytic function along all paths in the domain leading from the point, then it can be uniquely extended to a single-valued analytic function on the whole domain.