theorem Th40: :: GLPACY00:32

for G being Cycle-like _Graph holds G .order() = G .size()