theorem Th7: :: GRAPH_1:7

for G being strict Graph holds G = G \/ G