theorem :: GLIB_015:28

for S1, S2, S3 being Graph-membered set st S1,S2 are_Disomorphic & S2,S3 are_Disomorphic holds
S1,S3 are_Disomorphic