Add newtheorem demonstration