Disjoint cycle notation is unique

Written by Patrick Stevens last updated
state and prove the theorem