for L being Boolean Lattice holds L is satisfying_Stone_identity