El hecho de que sea válido para todo conjunto infinito no es del todo intuitivo, pero permite establecer varios resultados interesantes: