Beweis
Wir skizzieren die wesentlichen Argumente. Die Äquivalenz von (1) und (2) ist Serre-Dualität.
Von (1) nach (3) ist
Fakt.
Von (3) nach (4) ist
Fakt
und
Fakt.
Von (4) nach (1). Hier zeigt man vergleichbar mit
Fakt,
dass das Tangentialbündel auf 
trivial ist.
