Let be an infinite family of planes and be a family of non-void, finite sets of points such that and the projection of the set on the plane is included in the set, for all .
Hayaan maging isang walang katapusang pamilya ng mga eroplano at ay isang pamilya ng mga di-walang bisa, may wakas na set ng mga puntos na tulad na at ang projection ng mga set sa eroplano ay kasama sa set, Para sa lahat .