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