Q4 Matemática  (Hungary-Israel Binational 1994)

Uma sociedade $nm$ é um grupo de $n$ meninas e $m$ meninos. Prove que existem números $n_0$ e $m_0$ tais que toda sociedade $n_0-m_0$ contém um subgrupo de cinco meninos e cinco meninas com a seguinte propriedade: ou todos os meninos conhecem todas as meninas ou nenhum dos meninos não conhece nenhuma das meninas.