theorem :: GLPACY00:39

for C1 being Cycle-like _Graph
for C2 being non acyclic Subgraph of C1 holds C1 == C2