theorem :: GRAPH_1:11

for G being strict Graph holds G is_sum_of G,G by Th7;