 Theorem (Pudlák 1985).There exists a direct limits preserving functor Φ, from the category of all distributive lattices with zero and 0-lattice embeddings to the category of all lattices with zero and 0-lattice embeddings, such that ConcΦ is naturally equivalent to the identity.Furthermore, Φ("S") is a finite atomistic lattice, for any finite distributive (∨,0)-semilattice "S".