Schema/Lokal freie Garben/Surjektiv/Kern/Fakt

Es sei ein noethersches Schema und sei

ein surjektiver Garbenhomomorphismus zwischen lokal freien Garben auf .

Dann ist der Kern von ebenfalls lokal frei.