for L being D_Lattice holds L, StoneLatt L are_isomorphic