On norms taking integer values on the integer lattice

We present a new proof of Thurston's theorem that the unit ball of a seminorm on $\mathbf{R}^d$ taking integer values on $\mathbf{Z}^d$ is a polyhedra defined by finitely many inequalities with integer coefficients.