If is a family of more than bounded closed convex sets in Euclidean -space , and if every (where is the Helly Number) members of have at least one point in common, then all the members of have at least one point in common.
See also Carathéodory's Fundamental Theorem, Helly Number