closed curve theorem
Let be a simply connected domain, and suppose is holomorphic. Then
for any smooth closed curve in .
More generally, if is any domain, and and are two homotopic smooth closed curves in , then
for any holomorphic function .