Added disjoint cycle decomposition thm