Finished the disjoint cycle decomposition theorem.