Es sei ( X , O X ) {\displaystyle {}(X,{\mathcal {O}}_{X})} ein noethersches Schema und sei f ∈ Γ ( X , O X ) {\displaystyle {}f\in \Gamma (X,{\mathcal {O}}_{X})} eine globale Funktion mit Invertierbarkeitsort X f {\displaystyle {}X_{f}} . Es sei M {\displaystyle {}{\mathcal {M}}} ein quasikohärenter O U {\displaystyle {}{\mathcal {O}}_{U}} -Modul auf X {\displaystyle {}X} . Zeige
