Q11 Matemática  (IMO Longlists 1990)

Em um grupo de matemáticos, todo matemático tem alguns amigos (a relação de amigo é recíproca). Prove que existe um matemático, tal que a média do número de amigos de todos os seus amigos não é menor que a média do número de amigos de todos esses matemáticos.