theorem Th4: :: LATSTONE:18

for L being Boolean Lattice holds L is satisfying_Stone_identity