theorem Th120: :: GLIB_015:120

for x being object
for G being _Graph
for S being GraphSum of x .--> G holds S is G -Disomorphic