theorem :: GLPACY00:38

for C being Cycle-like _Graph holds
( C .order() = 2 iff not C is non-multi )