theorem Th10: :: GRAPH_1:10

for G, G1, G2 being Graph st G is_sum_of G1,G2 holds
G is_sum_of G2,G1 by Th8;