THEOREM LATEX COUNTER