theorem lemma2: :: LATTICEA:7

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