Muestra un ejemplo paso a paso de la ejecución del algoritmo y demuestra que el resultado es correcto.