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