Es sei φ : X → Y {\displaystyle {}\varphi \colon X\rightarrow Y} eine nichtkonstante holomorphe Abbildung zwischen kompakten zusammenhängenden riemannschen Flächen. Folgt aus einer Isomorphie φ ∗ Ω Y ≅ Ω X {\displaystyle {}\varphi ^{*}\Omega _{Y}\cong \Omega _{X}} , dass φ {\displaystyle {}\varphi } biholomorph
