Two simplexes $\mathcal{S}$ and $\mathcal{S}'$ in $\mathbb{R}^n$ are called equivalent if there exist an enumeration of the vertices $s_0, s_1, \ldots, s_n$ of $\mathcal{S}$, and $s_0', s_1', \ldots, s_n'$ of $\mathcal{S}'$, and a matrix $A$ in $\mathrm{GL}_n(\mathbb{Z})$ such that $A(s_i - s_0) = s_i' - s_0'$ for all $i = 1, \ldots, n$. Theorem 2 states: For every strictly positive integer $k$, there exists a strictly positive constant $C(n,k)$ such that for every integer simplex $\mathcal{S}$ in $\mathbb{R}^n$ having exactly $k$ interior integer points, $\operatorname{Vol}(\mathcal{S}) \leqslant C(n,k)$. Deduce from Theorem 2 that for every strictly positive integer $k$, there exist up to equivalence only finitely many integer simplexes in $\mathbb{R}^n$ having exactly $k$ interior points.
Two simplexes $\mathcal{S}$ and $\mathcal{S}'$ in $\mathbb{R}^n$ are called equivalent if there exist an enumeration of the vertices $s_0, s_1, \ldots, s_n$ of $\mathcal{S}$, and $s_0', s_1', \ldots, s_n'$ of $\mathcal{S}'$, and a matrix $A$ in $\mathrm{GL}_n(\mathbb{Z})$ such that $A(s_i - s_0) = s_i' - s_0'$ for all $i = 1, \ldots, n$.
Theorem 2 states: For every strictly positive integer $k$, there exists a strictly positive constant $C(n,k)$ such that for every integer simplex $\mathcal{S}$ in $\mathbb{R}^n$ having exactly $k$ interior integer points, $\operatorname{Vol}(\mathcal{S}) \leqslant C(n,k)$.
Deduce from Theorem 2 that for every strictly positive integer $k$, there exist up to equivalence only finitely many integer simplexes in $\mathbb{R}^n$ having exactly $k$ interior points.