Added theorem template for TeX