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 .