Theorem Menu

   This menu contains the following items:
Theorem, Lemma, Proposition, Definition, Corollary, Remark, Example, Other.