theorem Th8: :: GLIB_013:100

for G being complete _Graph st 3 c= G .order() holds
not G is acyclic