Highlight the theorem