# -*- mode: snippet -*-
# name: corollary
# key: corollary
# --
\begin{corollary}{$1}
  $0
\end{corollary}