theorem Th35: :: LOPCLSET:35

for BL being non trivial B_Lattice holds BL, StoneBLattice BL are_isomorphic