  The cone-volume measure of a polytope with centroid at the origin is proved
to satisfy the subspace concentration condition. As a consequence a conjectured
(a dozen years ago) fundamental sharp affine isoperimetric inequality for the
U-functional is completely established -- along with its equality conditions.
