Hadwiger’s Theorem

(Hadwiger 1943)

Let {\phi\colon\K^n\to R} be a function from convex sets in R^n to the real numbers.