theorem Th60:
  EmptyMS I (\) X = EmptyMS I
by Th43,Th52;
