Minkowski convex body theorem
= Minkowski convex body theorem
{c}
{wiki=Minkowski's_theorem}
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.