theorem Th15:
  dom R c= n-tuples_on D implies R is homogeneous;
