theorem styles