theorem :: GLPACY00:44

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