Cover-preserving embeddings of finite length semimodular lattices into simple semimodular lattices (Q616124)

\textit{G. Grätzer} and \textit{T. Wares} [``Notes on planar semimodular lattices. V. Cover-preserving embeddings of finite semimodular lattices into simple semimodular lattices'', Acta Sci. Math. 76, No.~1--2, 27--33 (2010)] proved that every finite semimodular lattice \(L\) has a cover-preserving embedding into a simple semimodular lattice \(\overline{L}\). Their proof is relatively short (3 pages). In this paper, the author gives a very short proof (1 page) for this result. The image of the embedding is a filter in \(\overline{L}\), \(l(\overline{L})=l(L)+1\) and \(\left| \overline{L}\right| =\left| L\right| +2l(L)+1\).