Every pair only has two possibilities: they either know each other or they don't. There are a lot of possibilities, but every single one has the property that we're looking for.
Cada par tiene solo dos posibilidades: que o bien se conocen entre sí, o no. Hay muchas posibilidades, pero cada uno tiene siempre la propiedad que buscamos.