# -*- mode: snippet -*-
# name: theorem
# key: theorem
# --
#+begin_theorem
$1
#+end_theorem

#+begin_proof
$0
#+end_proof