theorem Th7:
  0 in k-SD_Sub
proof
  0 in k-SD_Sub_S & k-SD_Sub_S c= k-SD_Sub by Th2,Th6;
  hence thesis;
end;
