Projektiver Raum/Kohärente Garbe/Surjektion mit direkter Summe/Fakt/Beweis

Beweis

Nach Fakt gibt es ein derart, dass von endlich vielen globalen Schnitten erzeugt wird. Nach Fakt  (2) liegt also ein surjektiver Modulhomomorphismus

vor. Wir tensorieren mit und erhalten eine Surjektion