Beweis
Das Ideal
besteht aus allen Linearkombinationen der
und enthält insbesondere alle
. Daher ist die Inklusion
klar. Für die umgekehrte Inklusion sei
und sei
.
Dann ist
(mit
)
und somit ist
-

also verschwindet jedes Element aus dem Ideal im Punkt
. Daher ist
.