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