<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% babybeamer6 presentation

\documentclass{beamer}

\begin{document}

\begin{frame}
\frametitle{Overlaying declarations and graphics}

\begin{theorem}&lt;1-&gt;
Every finite distributive lattice can be embedded in a boolean lattice.
\end{theorem}
\begin{proof}&lt;3-&gt;
Use join-irreducible elements.
\end{proof}
\textbf&lt;2-&gt;{Our first nice result}
\end{frame}
\end{document}

</pre></body></html>