theorem lemma3: :: LATTICEA:5

the carrier of (BooleLatt {{}}) = {{},{{}}}