Correções de detalhes no algoritmo 3