Q20 Matemática  (IMO Longlists 1980)

Seja um conjunto de 1980 pontos no plano tal que a distância entre cada par deles seja pelo menos 1. Prove que tem um subconjunto de 220 pontos tal que a distância entre cada par deles seja pelo menos