added part of the proof of the disjoint cycle decomposition theorem