On the independence theorem of related structures for modular (arguesian) lattices

Let D be a finite distributive lattice with more than one element and let G be a finite group. We prove that there exists a modular (arguesian) lattice M such that the congruence lattice of M is isomorphic to D and the automorphism group of M is isomorphic to G.