Q56 Matemática  (IMO Longlists 1988)

Dado um conjunto de 1988 pontos no plano. Nenhum quatro pontos do conjunto são colineares. Os pontos de um subconjunto com 1788 pontos são coloridos em azul, os 200 restantes são coloridos em vermelho. Prove que existe uma linha no plano tal que cada uma das duas partes em que a linha divide o plano contém 894 pontos azuis e 100 pontos vermelhos.