Sachverhalt

Ist eine komplexe Funktion f(z) in einem Gebiet G analytisch, zu dessen Rand ein Stück einer Geraden g₁ gehört, ist sie auf g₁ stetig und bildet sie die Gerade g₁ auf eine Gerade g'₁ ab, dann werden Punkte, die symmetrisch zu g₁ liegen, auf Punkte abgebildet, die symmetrisch zu g'₁ liegen (s. Abbildung).