Let CN be a cube of volume
one centered at the origin in RN and let PK be a K-dimensional subspace of RN.
We prove that CN∩PK has K-dimensional volume greater than or equal to one. As
an application of this inequality we obtain a precise version of Minkowski’s linear
forms theorem. We also state a conjecture which would allow our method to be
generalized.