  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.

Functional Analysis;Geometric Topology