Q32 Matemática  (IMO Longlists 1977)

Em uma sala há nove homens. Entre cada três deles, há dois que se conhecem. Prove que cerca de quatro deles se conhecem mutuamente.