Projektiver Raum/Körper/Picardgruppe/Z/Fakt/Beweis

Beweis

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

Zur bewiesenen Aussage