[NTG-context] Set up a theorem style