Akan ditunjukkan bahwa I J I

Diberikan sebarang x (I J)
Artinya x I dan x J
Terbukti bahwa x I sehingga I J I
Akan ditunjukkan I J ideal dari I
a. Karena I dan J masing - masing ideal dari R, maka 0 I dan 0 J.
Sehingga, 0 I J.
Terbukti bahwa I J

himpunan kosong