theorem Th51: :: GRAPH_3:51

for G being Graph holds {} in G -CycleSet