# -*- mode: snippet -*-
# name: proof
# key: proof
# condition: t
# --
\begin{proof}

\end{proof}