No existe el elemento z de Z que cumple: