add amsthm