Los bucles finalizan y también el procedimiento, dejando la lista ordenada.