
theorem
  for n being non zero Nat, C1, C2 being n-edge Cycle-like _Graph
  holds C2 is C1-isomorphic by Th51;
