Show a step-by-step example of the algorithm execution and prove that the result is correct.