Q17 Matemática  (IMO Longlists 1990)

1990 matemáticos participam de uma reunião, cada matemático tem pelo menos 1327 amigos (a relação de amigo é recíproca). Prove que existem quatro matemáticos entre eles tais que quaisquer dois deles são amigos.