% Babybeamer6withblock presentation

\documentclass{beamer}

\begin{document}

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

\begin{block}<1->{Theorem}
  Every finite distributive lattice can be embedded in a boolean lattice.
\end{block}
\begin{proof}<3>
Use join-irreducible elements.
\end{proof}
\onslide<2->{\includegraphics{cube}}
\end{frame}
\end{document}