add option amsthm. true by default.