theorem Th1: :: LATSTONE:4

for L being Boolean Lattice holds L is pseudocomplemented