Un algoritmo es correcto si: