Es sei
ein
Schema
über einem
kommutativen Ring
, es sei
eine
invertierbare Garbe
auf
und es seien
globale Schnitte
auf
und
der
zugehörige Morphismus.
Dann ist das Urbild der Hyperebene
-

(mit
,
nicht alle gleich
)
unter
gleich der Nullstellenmenge
-

des zurückgezogenen Schnittes
.