THEOREM LATEX PACKAGE