for G1, G2 being strict Graph st G1 c= G2 & G2 c= G1 holds
G1 = G2