theorem :: OPENLATT:27

for L being D_Lattice holds L, StoneLatt L are_isomorphic