add theorem environments and numbering