Finish proving that composition of disjoint cycles is commutative