Dies folgt aus Fakt und Beispiel. Aufgrund der expliziten Übersetzung in Fakt entspricht die negierte Hyperebenenklasse dem tautologischen Bündel O P K d ( 1 ) {\displaystyle {}{\mathcal {O}}_{{\mathbb {P} }_{K}^{d}}(1)} .
.
