Adott a térben véges sok fekete és véges sok piros pont úgy, hogy bármely öt pont közül a pirosak és a feketék egy síkkal szétválaszthatók. Bizonyítandó, hogy van olyan sík, amely az összes piros pontot elválasztja az összes fekete ponttól.