theorem lemma1: :: LATTICEA:6

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