Disjoint cycle notation is unique

state and prove the theorem

Parents: