Zum Beweis der Inklusion sei . Da das Produkt von Idealen aus allen Summen von Produkten besteht, bedeutet dies, dass

wobei

mit ist. Dies bedeutet wiederum, dass

mit und ist. Somit ist

Wenn man ein solches Produkt distributiv ausrechnet, so erhält man eine Summe von Produkten mit Faktoren, wobei Faktoren zu und Faktoren zu gehören. Damit gehören diese Summanden zur rechten Seite und somit auch die und auch .

Zum Beweis der Inklusion genügt es, die Inklusion für jedes zu zeigen. Wegen ist aber sofort