The dimension of a polytope is the product of the dimensions of the elements.
A dimensión dun polítopo é o produto das dimensións dos elementos.