Es sei F {\displaystyle {}{\mathcal {F}}} ein O X {\displaystyle {}{\mathcal {O}}_{X}} -Modul auf einem beringten Raum ( X , O X ) {\displaystyle {}{\left(X,{\mathcal {O}}_{X}\right)}} . Zeige, dass zu jedem Punkt P ∈ X {\displaystyle {}P\in X} der Halm F P {\displaystyle {}{\mathcal {F}}_{P}} ein O X , P {\displaystyle {}{\mathcal {O}}_{X,P}} -Modul ist.