11 000 űrhajósból álló csoportot készítettek fel a Mars-utazásra. Tudjuk, hogy bármely 4 űrhajós közül kiválasztható 3 olyan, akik megfelelő személyzetet alkotnak a leszálló modulhoz. Bizonyítsuk be, hogy kiválasztható 5 űrhajós úgy, hogy közülük bármelyik 3 megfelelő személyzet legyen.