Minkowski's theorem (source code)

= Minkowski's theorem
{c}
{wiki}

= Minkowski convex body theorem
{c}
{synonym}

If $\Lambda\subset\mathbb R^n$ is a full lattice and a measurable convex centrally symmetric set $C$ has volume greater than $2^n\operatorname{covol}(\Lambda)$, then $C$ contains a nonzero lattice point.