Eğer I ideallerin ikisinin bileşimindeyse sorun yok. Öyle olmadığını varsayalım. a1∈I∖(J2∪P), a2∈I∖(J1∪P) ve s∈I∖(J1∪J2) olsun. Demek ki a1∈J1, a2∈J2 ve s∈P. Şimdi, s+a1a2 elemanı I'da olduğundan, üç idealden birindedir. P'de olamaz, çünkü aksi halde a1a2∈P olurdu. Diyelim J1'de, ama o zaman da s∈J1 olmalı. Çelişki.