theorem Th18: :: GLENUM00:18

for G being non edgeless _Graph
for e being Edge of G holds
( createGraph e is acyclic iff not e in G .loops() )