theorem :: FILTER_2:57

for B being B_Lattice
for IB being Ideal of B holds
( ( IB <> (.B.> & IB is prime ) iff IB is max-ideal )