Lokal faktorielles integres Schema/Invertierbare Garbe/Schnitt/Nullstelle/Divisor/Isomorphie/Aufgabe

Es sei ein lokal faktorielles noethersches integres Schema und sei eine invertierbare Untergarbe der konstanten Funktionenkörpergarbe. Es sei

ein nichttrivialer Schnitt. Zeige, dass die Nullstellenmenge zu , also , in natürlicher Weise ein effektiver Weildivisor auf ist, derart, dass

ist.