# -*- mode: snippet -*-
# name: lemma
# key: lemma
# --
#+begin_lemma
$0
#+end_lemma