In the 43 dimension Euclidean space the convex hull of finite set S contains polyhedron P. We know that P has 47 vertices. Prove that it is possible to choose at most 2021 points in S such that the convex hull of these points also contain P, and this is sharp. combinatoricsgeometrycombinatorial geometry