reserve X for set;

theorem Th25:
  SIMPLEGRAPHS(X) is_SetOfSimpleGraphs_of X by Th16,Th23,Th24;
