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