shortdesc Italian translation of amsthdoc: Using the amsthm package