theorem Th11:
  k-SD c= INT
proof
  let e be object;
  assume e in k-SD;
  then e is Integer by Th10;
  hence thesis by INT_1:def 2;
end;
