Wir betrachten den projektiven Raum über einem Körper K {\displaystyle {}K} und die invertierbaren Garben O P K n ( ℓ ) {\displaystyle {}{\mathcal {O}}_{{\mathbb {P} }_{K}^{n}}(\ell )} . Zeige O P K n ( ℓ ) ⊗ O P K n ( m ) ≅ O P K n ( ℓ + m ) {\displaystyle {}{\mathcal {O}}_{{\mathbb {P} }_{K}^{n}}(\ell )\otimes {\mathcal {O}}_{{\mathbb {P} }_{K}^{n}}(m)\cong {\mathcal {O}}_{{\mathbb {P} }_{K}^{n}}(\ell +m)} .