Consistência das listas - implementado (por testar)