Es sei R {\displaystyle {}R} ein Integritätsbereich.
Dann ist jede invertierbare Garbe auf X = Spek ( R ) {\displaystyle {}X=\operatorname {Spek} {\left(R\right)}} isomorph zu eine Idealgarbe.
