theorem Th37:
  (.I.> = I
by Def9;
