2 En una velada de baile, cada uno de los caballeros presentes ha bailado con al menos una de las damas presentes y cada una de las damas presentes ha bailado con al menos uno de los caballeros presentes. Ningún caballero ha bailado con todas las damas presentes y ninguna dama ha bailado con todos los caballeros presentes. Debe demostrarse que entre los presentes hubo dos tales damas y dos tales caballeros, de modo que en esa velada cada una de las dos damas bailó con exactamente uno de los dos caballeros, y cada uno de los dos caballeros bailó con exactamente una de las dos damas. Se asume que la velada de baile no se llevó a cabo sin damas ni caballeros, es decir, el conjunto que consiste en todas las damas y caballeros presentes no está vacío.