theorem Cor16: :: LATTICEA:20

for L being distributive Lattice
for I being Ideal of L
for a being Element of L st not a in I holds
ex P being Ideal of L st
( P is prime & I c= P & not a in P )