  Polytopes in R^n with integral vertices form a monoid under the Minkowski
sum, and the Grothendieck construction gives rise to a group. We show that
every symmetric polytope is a norm in this group for every n.
