theorem Th49: :: GLIB_008:49

for G being _Graph holds
( G is edgeless iff G .size() = 0 )