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