Hey macmee.

Instead of looking at each individual step, look at each set of paired steps and prove that each paired step has only one even and odd result in that pair and that the order of each pair (in terms of being even or odd) is the same for each pair.