Take the Euclidian proof (#7). The order of the reasoning is important, because each step builds upon what was proved in the previous step.
(A+B) -> X, (A+C)-> Y (X+Y) -> Z
Going back to the proof 7 the line For the same reason also means the order is not strict and you could swap those lines without changing the logic.