4 Una sociedad $ n-m$ es un grupo de $ n$ niñas y $ m$ niños. Demuestre que existen números $ n_0$ y $ m_0$ tales que toda sociedad $ n_0-m_0$ contiene un subgrupo de cinco niños y cinco niñas con la siguiente propiedad: o todos los niños conocen a todas las niñas, o ninguno de los niños conoce a ninguna de las niñas.