Entonces hay al menos un elemento