Add package amsthm.