macros.tex

\documentclass[11pt]{amsart}

\newcommand{\case}[2]{\text{Case:} \\ #1 \\ \text{with proof:} \\ #2}

\begin{document}
  \case{$x = 2$}{
    a nice proof
  }

\end{document}