theorem :: LATTICEA:8

for L being Lattice
for A being Filter of L holds
( not L = BooleLatt {{}} or A = {(Top L)} or A = <.L.) )