theorem environments and comments