Attempting to number the theorem environments