Es sei R {\displaystyle {}R} ein standard-graduierter kommutativer Ring.
Dann sind die getwisteten Strukturgarben O Y ( n ) {\displaystyle {}{\mathcal {O}}_{Y}(n)} auf Y = Proj ( R ) {\displaystyle {}Y=\operatorname {Proj} {\left(R\right)}} invertierbar.