Es seien F {\displaystyle {}{\mathcal {F}}} und G {\displaystyle {}{\mathcal {G}}} lokal freie Garben auf einem beringten Raum vom Rang r {\displaystyle {}r} bzw. s {\displaystyle {}s} . Zeige, dass das Tensorprodukt F ⊗ O X G {\displaystyle {}{\mathcal {F}}\otimes _{{\mathcal {O}}_{X}}{\mathcal {G}}} lokal frei vom Rang r s {\displaystyle {}rs} ist.
