theorem Th43: :: FILTER_2:43

for L being Lattice
for I being Ideal of L holds
( I is prime iff I .: is prime )