theorem Th173: :: GLENUM00:173

for G being _Graph holds
( G is connected iff G .allSpanningTrees() <> {} )