Monodromy theorem

If a function element can be analytically continued along every path in a domain, continuation along two endpoint-fixed homotopic paths gives the same terminal germ.