theorem Th7: :: GRAPH_3:7

for G being Graph
for c being Chain of G st c = {} holds
c is cyclic