Demostrar correccion del algoritmo