Finite polytope