theorem :: GLIB_015:33

for S1, S2 being empty Graph-membered set holds S1,S2 are_Disomorphic ;