Adott a síkon $25$ pont úgy, hogy bármely három pont között van kettő, amelyek távolsága $1$-nél kisebb. Bizonyítsuk be, hogy kiválaszthatunk közülük $13$-at, amelyek lefedhetők egy egységsugarú körrel.