Dependency Graph for amsthm 2.0.0