En un grupo de matemáticos, cada matemático tiene algunos amigos (la relación de amistad es recíproca). Demostrar que existe un matemático, tal que el promedio del número de amigos de todos sus amigos no es menor que el promedio del número de amigos de todos estos matemáticos.