fixed interaction between amsthm and mdframed